Executing AADL models with UML/Marte

Frédéric Mallet 1 Charles André 1 Julien Deantoni 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 : AADL and MARTE are two modeling formalisms supporting the analysis of real-time embedded systems. Since both cover similar aspects, a clear assessment of their respective strength and weakness is required. Building on previous works, we focus here on the time aspects of the two specifications. Relying on the MARTE Time Model and the operational semantics of its companion language CCSL we attempt to equipped UML activities with the execution semantics of an AADL specification. This is part of a much broader effort to build a generic simulator for UML models with the semantics explicitly defined within the model.
Type de document :
Communication dans un congrès
Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, 2009, <10.1109/ICECCS.2009.10>
Liste complète des métadonnées


https://hal.inria.fr/inria-00416592
Contributeur : Frédéric Mallet <>
Soumis le : lundi 14 septembre 2009 - 17:26:18
Dernière modification le : lundi 5 octobre 2015 - 17:00:10
Document(s) archivé(s) le : mardi 15 juin 2010 - 23:39:12

Fichier

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

Identifiants

Collections

Citation

Frédéric Mallet, Charles André, Julien Deantoni. Executing AADL models with UML/Marte. Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, 2009, <10.1109/ICECCS.2009.10>. <inria-00416592>

Partager

Métriques

Consultations de
la notice

264

Téléchargements du document

268