Sciweavers

Share
FDL
2007
IEEE

Modeling of immediate vs. delayed data communications: from AADL to UML Marte

11 years 6 months ago
Modeling of immediate vs. delayed data communications: from AADL to UML Marte
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
Frédéric Mallet, Charles André
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where FDL
Authors Frédéric Mallet, Charles André, Robert de Simone
Comments (0)
books