Modeling AADL data-communications with UML MARTE - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2008

Modeling AADL data-communications with UML MARTE

Résumé

The emerging OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile where semantic issues can be explicitly and formally described. As a full-size exercise we deal here with the modeling of immediate and delayed data communications in AADL. This actually reflects an important issue in RT/E model semantics: a propagation of immediate communications may result in a combinatorial loop, with ill-defined behavior; introduction of delays may introduce races, which have to be controlled. We describe here the abilities of the MARTE time model in this respect.

Mots clés

Dates et versions

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

Identifiants

Citer

Charles André, Frédéric Mallet, Robert de Simone. Modeling AADL data-communications with UML MARTE. Eugenio villar. Embedded Systems Specification and Design Languages, 10, Springer, pp.150-170, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2. ⟨10.1007/978-1-4020-8297-9_11⟩. ⟨inria-00371366⟩
211 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More