Executing AADL Models with UML/MARTE

Author

Mallet, Frédéric ; Andre, C. ; DeAntoni, Julien

Author_Institution

INRIA Sophia-Antipolis Mediterranee, Univ. de Nice Sophia-Antipolis, Sophia Antipolis

fYear

2009

fDate

2-4 June 2009

Firstpage

371

Lastpage

376

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 equip 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.

Keywords

Unified Modeling Language; embedded systems; software architecture; AADL specification; MARTE time model; architecture analysis and design language; clock constraint specification language; embedded system; operational semantics; real time system; Automotive engineering; Clocks; Delay; Embedded computing; Embedded system; Engines; Performance analysis; Real time systems; Specification languages; Unified modeling language; AADL; MARTE; Time Model; UML; simulation;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on

Conference_Location

Potsdam

Print_ISBN

978-0-7695-3702-3

Type

conf

DOI

10.1109/ICECCS.2009.10

Filename

5090550