Skip to Main content Skip to Navigation
Conference papers

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, Laboratoire I3S - 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Frédéric Mallet Connect in order to contact the contributor
Submitted on : Monday, September 14, 2009 - 5:26:18 PM
Last modification on : Friday, January 21, 2022 - 3:16:09 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:39:12 PM


Files produced by the author(s)




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, ⟨10.1109/ICECCS.2009.10⟩. ⟨inria-00416592⟩



Record views


Files downloads