Time Modeling in MARTE

Charles André 1 Frédéric Mallet 1 Robert De Simone 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentation of former time modeling elements present in SPT and UML2, we introduce the Time meta-model of MARTE. It defines physical and logical time, timed model elements and their associated properties. We present both the time domain view and the UML representation of the most important concepts. Various time bases (called clocks in the profile) can be correlated using clock relations and constraints, built from a core set predefined in the profile. Constraints are usually collected from scheduling and partitioning decisions taken in the course of design flow for embedded systems. We illustrate this on two simple examples.
keyword : UML MARTE Time
Type de document :
Communication dans un congrès
ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.268-273, 2007
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00204481
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 27 mars 2009 - 13:16:20
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:41:45

Fichier

FDL07b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00204481, version 1

Collections

Citation

Charles André, Frédéric Mallet, Robert De Simone. Time Modeling in MARTE. ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.268-273, 2007. 〈inria-00204481〉

Partager

Métriques

Consultations de la notice

674

Téléchargements de fichiers

386