Paper Info
Title
Executing AADL Models with UML/MARTE
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 executionsemantics of an AADL specification. This is part of a muchbroader effort to build a generic simulator for UML modelswith the semantics explicitly defined within the model.
Year
DOI
Venue
2009
10.1109/ICECCS.2009.10
ICECCS
Keywords
Field
DocType
executing aadl models,generic simulator,uml activity,operational semantics,cover similar aspect,clear assessment,uml modelswith,muchbroader effort,companion language,marte time model,aadl specification,unified modeling language,real time systems,embedded computing,uml,automotive engineering,simulation,real time system,embedded system,synchronization,software architecture,architecture analysis and design language,engines,embedded systems
Operational semantics,Programming language,Unified Modeling Language,Computer science,EAST-ADL,Real-time computing,Architecture Analysis & Design Language,Applications of UML,Software architecture,Rotation formalisms in three dimensions,Semantics
Conference
Citations 
PageRank 
References 
5
0.61
5
Authors
3
Name
Order
Citations
PageRank
Frederic Mallet1212.98
Charles André2758.00
Julien DeAntoni318018.34