HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

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, Laboratoire I3S - 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
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/inria-00371366
Contributor : Frédéric Mallet Connect in order to contact the contributor
Submitted on : Friday, March 27, 2009 - 3:43:55 PM
Last modification on : Friday, January 21, 2022 - 3:18:01 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

203