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

Object Management Group

Object Management Group is a consortium, originally aimed at setting standards for distributed object-oriented systems, and is now focused on modeling and model-based standards.- Overview :...

 standard for modelling real-time

Real-time computing

In computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints...

 and embedded

Embedded system

An embedded system is a computer system designed for specific control functions within a larger system. often with real-time computing constraints. It is embedded as part of a complete device often including hardware and mechanical parts. By contrast, a general-purpose computer, such as a personal...

 applications with UML2

Unified Modeling Language

Unified Modeling Language is a standardized general-purpose modeling language in the field of object-oriented software engineering. The standard is managed, and was created, by the Object Management Group...

.

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

Profile (UML)

A profile in the Unified Modeling Language provides a generic extension mechanism for customizing UML models for particular domains and platforms...

 called MARTE (Modelling and Analysis of Real-Time and Embedded systems). It consists mainly of four parts:

• a core framework
  Software framework
  In computer programming, a software framework is an abstraction in which software providing generic functionality can be selectively changed by user code, thus providing application specific software...
  
   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
  Scheduling (computing)
  In computer science, a scheduling is the method by which threads, processes or data flows are given access to system resources . This is usually done to load balance a system effectively or achieve a target quality of service...
  
   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

Eclipse (software)

Eclipse is a multi-language software development environment comprising an integrated development environment and an extensible plug-in system...

 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.