Title :
MARTE: Also an UML Profile for Modeling AADL Applications
Author :
Faugère, Madeleine ; Bourbeau, Thimothéee ; De Simone, Robert ; Gérard, Sébastien
Abstract :
Marte (A UML Profile for Modeling and Analysis of Real-Time and Embedded systems) is a new UML profile extension for real-time and embedded systems, which is going to be standardized by mid 2007 at OMG (Object Management Group). This standard has been proposed by the "ProMarte" consortium, which consists of OMG end-users, tool providers and academics. Marte defines concepts in terms of UML extensions needed to model and analyze real-time and embedded systems (RT/ES). The Marte specification provides an annex which handles its relation to AADL-based models, and the way it may represent them. Our purpose in this paper is to describe this relation. Our constructions will be presented and illustrated through some examples.
Keywords :
Unified Modeling Language; embedded systems; formal specification; object-oriented programming; AADL-based model; Marte specification; Object Management Group; UML extension; embedded system; real-time system; Application software; Embedded computing; Embedded system; Hardware; Packaging; Performance analysis; Real time systems; Resource management; Technology management; Unified modeling language;
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location :
Auckland
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.29
