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

• Type: Conference
• Year: 2007
• Where: FDL
• Authors: Frédéric Mallet, Charles André, Robert de Simone
• Keywords: Delayed Data Communications, FDL 2007, Forthcoming Omg Uml, Referential Time Model