Modeling and Analysis of Real Time and Embedded systems

From Wikipedia, the free encyclopedia

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

[edit] 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 analyse 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[1]. An open-source implementation based on Eclipse of the MARTE profile is available in Papyrus UML[2]. This latter is running within the Eclipse UML2 plug-in and within the open-source tool for UML2 Papyrus.

[edit] Notes

  1. ^ OMG Document
  2. ^ http://www.papyrusuml.org
Languages