Modeling and Analysis of Real Time and Embedded systems
{{Refimprove|date=May 2012}}
Modeling and Analysis of Real Time and Embedded systemshttp://www.omgmarte.org {{webarchive|url=https://web.archive.org/web/20140209053118/http://www.omgmarte.org/ |date=2014-02-09 }} also known as MARTE is the OMG standard for modeling real-time and embedded applications with UML2.
Description
The UML modeling 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 (Modeling 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 modeling of applications (e.g. hardware and software platform modeling).
- 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 modeling.
The MARTE specification is publicly available on the OMG web site.{{cite web|url=http://www.omg.org/spec/MARTE/1.1/PDF|title=MARTE|accessdate=2 November 2016|archive-url=https://web.archive.org/web/20151119005223/http://www.omg.org/spec/MARTE/1.1/PDF|archive-date=19 November 2015|url-status=dead}} Currently, two open-source tools are available for system modeling using the MARTE profile: Modelio provides an open source modeling environment for designing high level UML models using the MARTE profile, and also provides guidelines on the utilization of MARTE profile; while an open-source implementation based on Eclipse of the MARTE profile is available in Papyrus UML.{{cite web|url=http://www.papyrusuml.org|title=Papyrus|accessdate=2 November 2016}} This latter is running within the Eclipse UML2 plug-in and within the open-source tool for UML2 Papyrus.
Core
The core part of MARTE is made of five chapters.
- CoreElements;
- Non-Functional Properties: This chapter specifies some notations to define various kinds of values related to physical quantities: time, mass, energy;
- Time: This chapter defines a rich model of time that supports both the definition of physical and logical time properties;.{{cite book|chapter=Modeling Time(s)|doi=10.1007/978-3-540-75209-7_38|title=Model Driven Engineering Languages and Systems|volume=4735|pages=559–573|series=Lecture Notes in Computer Science|year=2007|last1=André|first1=Charles|last2=Mallet|first2=Frédéric|last3=De Simone|first3=Robert|isbn=978-3-540-75208-0|s2cid=32489648 |chapter-url=https://hal.inria.fr/inria-00204489/file/models07.pdf }} It comes with a companion language called CCSL defined as an annex.
- Generic Resource Modeling: This chapter offers extensions required to model a general platform for executing real-time embedded applications;
- Allocation Modeling: Finally, this chapter defines a notion of allocation to allocate application elements onto the execution platforms. A specific attention has been given to maintain compatibility with SysML allocation mechanism.