Modeling and Analysis of Real Time and Embedded systems

Modeling and Analysis of Real Time and Embedded systems also known as MARTE is the OMG standard for modelling real-time and embedded applications with UML2.

Description

The UML modelling language has been extended by the OMG consortium to support model-driven development of real-time and embedded application. This extension has been defined via a UML2 profile called MARTE (Modelling and Analysis of Real-Time and Embedded systems). It consists mainly of four parts:

• a core framework defining the basic concepts required to support real-time and embedded domain.
• a first specialization (refinement) of this core package to support pure modelling of applications (e.g. hardware and software platform modelling).
• a second specialization (refinement) of this core package to support quantitative analysis of UML2 models, specially schedulability and performance analysis.
• a last part gathering all the MARTE annexes such as the one defining a textual language for value specification within UML2 models, and the one conflating the standard MARTE model libraries dedicated to RT/E system modelling.

The MARTE specification is publicly available on the OMG web site. An open-source implementation based on Eclipse of the MARTE profile is available in Papyrus UML. This latter is running within the Eclipse UML2 plug-in and within the open-source tool for UML2 Papyrus.