Executing AADL Models with UML/MARTE

Executing AADL Models with UML/MARTE

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Mallet, F., Andre, C., DeAntoni, J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
AADL
Automotive engineering
Clocks
Computer Science
Delay
Embedded computing
Embedded system
Engines
MARTE
Performance analysis
Real time systems
simulation
Specification languages
Time Model
Ubiquitous Computing
UML
Unified modeling language
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.1109/ICECCS.2009.10