Modeling and Analysis of Real Time and Embedded systems also known as MARTE is the

OMG OMG may refer to: * Oh my God (sometimes also Oh my Goodness or Oh my Gosh), a common abbreviation, often used in SMS messages and Internet communication Acronyms * OMG is the IATA code for Omega Airport, Omega, Namibia * Operational manoeuvre ...

standard for modeling

real-time Real-time or real time describes various operations in computing or other processes that must guarantee response times within a specified time (deadline), usually a relatively short time. A real-time process is generally one that happens in defined ...

and

embedded Embedded or embedding (alternatively imbedded or imbedding) may refer to: Science * Embedding, in mathematics, one instance of some mathematical object contained within another instance ** Graph embedding * Embedded generation, a distributed ge ...

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 The term scheduling analysis in real-time computing includes the analysis and testing of the scheduler system and the algorithms used in real-time applications. In computer science, real-time scheduling analysis is the evaluation, testing and ver ...

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. Currently, two

open-source Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use the source code, design documents, or content of the product. The open-source model is a decentralized sof ...

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

implementation based on

Eclipse An eclipse is an astronomical event that occurs when an astronomical object or spacecraft is temporarily obscured, by passing into the shadow of another body or by having another body pass between it and the viewer. This alignment of three ce ...

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.

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;. 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 The Systems Modeling Language (SysML) is a general-purpose modeling language for systems engineering applications. It supports the specification, analysis, design, verification and validation of a broad range of systems and systems-of-systems. ...

allocation mechanism.

Notes

Unified Modeling Language {{uml-stub