Modeling AADL data-communications with UML 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 : 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.
keyword : UML AADL MARTE
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00371366
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 27 mars 2009 - 15:43:55
Dernière modification le : lundi 4 décembre 2017 - 15:14:09

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

333