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, 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
Type de document :
Communication dans un congrès
ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp.249-254, 2007
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00204484
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 27 mars 2009 - 13:20:08
Dernière modification le : jeudi 11 janvier 2018 - 16:04:41
Document(s) archivé(s) le : mardi 13 avril 2010 - 17:33:12

Fichier

FDL07a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00204484, version 1

Collections

Citation

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), Sep 2007, Barcelona, Spain. ECSI, pp.249-254, 2007. 〈inria-00204484〉

Partager

Métriques

Consultations de la notice

507

Téléchargements de fichiers

204