Event-based vs. Time-Triggered Communications with UML Marte

Frédéric Mallet 1 Robert De Simone 1 Laurent Rioux 2
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 : In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-based with time-triggered communications with their pros and cons. Then, modeling standards of the domain must provide mechanisms to support both kinds whereas historically they pertain to different communities: asynchronous and synchronous designers. In this paper, we compare the expressiveness of two standards of the domain (AADL and MARTE) to model these two kinds of communications. Specifically, we focus on the Time facilities of MARTE and on AADL models amenable to end-to-end flow latency analyses.
Type de document :
Communication dans un congrès
Forum on specification, verification & Design Languages (FDL'08), Sep 2008, Stuttgart, Germany. IEEE, pp.154-159, 2008, 〈10.1109/FDL.2008.4641438〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00371392
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 27 mars 2009 - 16:25:06
Dernière modification le : jeudi 11 janvier 2018 - 16:14:47
Document(s) archivé(s) le : samedi 26 novembre 2016 - 06:54:07

Fichier

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

Identifiants

Collections

Citation

Frédéric Mallet, Robert De Simone, Laurent Rioux. Event-based vs. Time-Triggered Communications with UML Marte. Forum on specification, verification & Design Languages (FDL'08), Sep 2008, Stuttgart, Germany. IEEE, pp.154-159, 2008, 〈10.1109/FDL.2008.4641438〉. 〈inria-00371392〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

511