MARTE: Also an UML Profile for Modeling AADL Applications

Author

Faugère, Madeleine ; Bourbeau, Thimothéee ; De Simone, Robert ; Gérard, Sébastien

fYear

2007

fDate

11-14 July 2007

Firstpage

359

Lastpage

364

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on

Conference_Location

Auckland

Print_ISBN

0-7695-2895-3

Type

conf

DOI

10.1109/ICECCS.2007.29

Filename

4276333