MARTE: Also an UML Profile for Modeling AADL Applications

TLDR

Marte is a new UML profile extension for real‑time and embedded systems, proposed by the ProMarte consortium and slated for OMG standardization by mid‑2007. The paper aims to describe the relationship between Marte and AADL‑based models. Marte’s specification includes an annex linking it to AADL models, and the authors present constructions and examples illustrating this relationship.

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.