Skip to Main content Skip to Navigation
Conference papers

Modeling of Immediate vs. Delayed Data Communications: from AADL to 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 forthcoming 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. It 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 MARTE in this respect.
keyword : UML MARTE Time AADL
Document type :
Conference papers
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Frédéric Mallet Connect in order to contact the contributor
Submitted on : Friday, March 27, 2009 - 1:20:08 PM
Last modification on : Saturday, June 25, 2022 - 10:58:38 PM
Long-term archiving on: : Tuesday, April 13, 2010 - 5:33:12 PM


Files produced by the author(s)


  • HAL Id : inria-00204484, version 1



Charles André, Frédéric Mallet, Robert de Simone. Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE. ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254. ⟨inria-00204484⟩



Record views


Files downloads