From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTE - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTE

Matthias Brun
  • Fonction : Auteur
  • PersonId : 882892
Jérôme Delatour

Résumé

A modeling process for real-time embedded systems may involve the coordinated use of several languages. Each of these languages are dedicated to a particular phase of development (specification, design, test, ...) and coupled with various tools (scheduling analysis, formal verification, model checker,...). The combined use of UML and AADL is an increasing practice. UML and its recent MARTE (Modeling and Analysis of Real-Time and Embedded systems) profile seem suitable for capturing requirements, analysis and preliminary design. AADL is tailored for the detailed design phase and offers linked validation and verification tools. In order to combine UML/MARTE and AADL, translation mechanisms between these two formalisms have to be defined. Previous works have defined translations between the structural concepts of AADL and MARTE artifacts. However, the behavioral aspect have also to be treated. The presented work focuses on the translation of the thread execution and communication semantics. It is a pragmatic and on-going approach, validated in an industrial context, on representative examples.
Fichier principal
Vignette du fichier
ERTS2008_0083_paper.pdf (264.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02270284 , version 1 (24-08-2019)

Identifiants

  • HAL Id : hal-02270284 , version 1

Citer

Matthias Brun, Madeleine Faugère, Jérôme Delatour, Thomas Vergnaud. From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTE. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270284⟩
29 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More