| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [3 references]
https://hal.inria.fr/inria-00204484
Contributor : Frédéric Mallet <>
Submitted on : Friday, March 27, 2009 - 1:20:08 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Tuesday, April 13, 2010 - 5:33:12 PM
Contributor : Frédéric Mallet <>
Submitted on : Friday, March 27, 2009 - 1:20:08 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Tuesday, April 13, 2010 - 5:33:12 PM
File
FDL07a.pdf
Files produced by the author(s)