MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

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 : Real-time embedded applications tend to combine periodic and aperiodic computations. Modeling standardsmust then support both discrete-time and discrete-event models of computation and communication whereas they historically pertain to two different communities: asynchronous and synchronous designers. In this article, two emerging standards of the domain (MARTE and AADL) are compared and their ability to tackle this issue is assessed. We plead for combining both standards and show how MARTE can be extended to integrate AADL features required for end-to-end flow latency analysis.
keyword : UML AADL Marte MoCC Timing Requirement
Type de document :
Chapitre d'ouvrage
Martin Radetzki. Languages for Embedded Systems and their Applications, 36, Springer, pp.27-41, 2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3. 〈10.1007/978-1-4020-9714-0_2〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00416656
Contributeur : Frédéric Mallet <>
Soumis le : lundi 14 septembre 2009 - 18:26:08
Dernière modification le : vendredi 25 mai 2018 - 12:02:04

Lien texte intégral

istex

Identifiants

Collections

UNICE | INRIA | I3S | UNIV-COTEDAZUR

Citation

Frédéric Mallet, Robert De Simone. MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. Martin Radetzki. Languages for Embedded Systems and their Applications, 36, Springer, pp.27-41, 2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3. 〈10.1007/978-1-4020-9714-0_2〉. 〈inria-00416656〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

316

Contact


archive-ouverte@inria.fr