Time Modeling in MARTE - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Time Modeling in MARTE

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
FDL07b.pdf (121.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00204481 , version 1 (27-03-2009)

Identifiants

  • HAL Id : inria-00204481 , version 1

Citer

Charles André, Frédéric Mallet, Robert de Simone. Time Modeling in MARTE. ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273. ⟨inria-00204481⟩
422 Consultations
318 Téléchargements

Partager

Gmail Facebook X LinkedIn More