Modeling And Analysis Of Real Time And Embedded Systems
   HOME

TheInfoList



OR:

Modeling and Analysis of Real Time and Embedded systems also known as MARTE is the
OMG OMG may refer to: Abbreviations * ''Oh my God!'' (sometimes also ''Oh my Goodness!'' or ''Oh my Gosh!'') is a common abbreviation meaning shock or surprise, often used in SMS messages and Internet communications * OMG is the IATA code for Omega ...
standard for modeling
real-time Real-time, realtime, or real time may refer to: Computing * Real-time computing, hardware and software systems subject to a specified time constraint * Real-time clock, a computer clock that keeps track of the current time * Real-time Control Syst ...
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 Profile or profiles may refer to: Art, entertainment and media Music * ''Profile'' (Jan Akkerman album), 1973 * ''Profile'' (Githead album), 2005 * ''Profile'' (Pat Donohue album), 2005 * ''Profile'' (Duke Pearson album), 1959 * '' ''Profi ...
called MARTE (Modeling and Analysis of Real-Time and Embedded systems). It consists mainly of four parts: * a core
framework A framework is a generic term commonly referring to an essential supporting structure which other things are built on top of. Framework may refer to: Computing * Application framework, used to implement the structure of an application for an op ...
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. Currently, two
open-source Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use and view the source code, design documents, or content of the product. The open source model is a decentrali ...
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 Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use and view the source code, design documents, or content of the product. The open source model is a decentrali ...
implementation based on
Eclipse An eclipse is an astronomical event which 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 ...
of the MARTE profile is available in
Papyrus UML Papyrus is an open-source UML 2 tool based on Eclipse and licensed under the EPL. It has been developed by the Laboratory of Model Driven Engineering for Embedded Systems (LISE) which is a part of the French Alternative Energies and Atomic Ener ...
. 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 allocation mechanism.


Notes

Unified Modeling Language {{uml-stub