Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE

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.

Keywords

Fichier principal
Vignette du fichier
FDL07a.pdf (151.47 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00204484 , version 1 (27-03-2009)

Identifiers

  • HAL Id : inria-00204484 , version 1

Cite

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⟩
602 View
176 Download

Share

Gmail Facebook Twitter LinkedIn More