109 Highland Ave
Needham, MA 02494

OMG Logo

Ph:+1-781-444 0404
Fax: +1-781-444 0320
Email: [email protected]


The official OMG MARTE Web site

Modeling and Analysis of Real-time and Embedded systems


[ Home ] Specification ] Documents ] Events ] Tools ] Projects ] Tutorial ] MARTE Models ]

This specification of a UML® profile adds capabilities to UML for model-driven development of Real Time and Embedded Systems (RTES). This extension, called the UML profile for MARTE (in short MARTE), provides support for specification, design, and verification/validation stages. This new profile is intended to replace the existing UML Profile for Schedulability, Performance and Time (formal/03-09-01).

MARTE consists in defining foundations for model-based description of real time and embedded systems. These core concepts are then refined for both modeling and analyzing concerns. Modeling parts provides support required from specification to detailed design of real-time and embedded characteristics of systems. MARTE concerns also model-based analysis. In this sense, the intent is not to define new techniques for analyzing real-time and embedded systems, but to support them. Hence, it provides facilities to annotate models with information required to perform specific analysis. Especially, MARTE focuses on performance and schedulability analysis. But, it defines also a general framework for quantitative analysis which intends to refine/specialize any other kind of analysis.

Among others, the benefits of using this profile are thus:

  • Providing a common way of modeling both hardware and software aspects of a RTES in order to improve communication between developers.

  • Enabling interoperability between development tools used for specification, design, verification, code generation, etc.

  • Fostering the construction of models that may be used to make quantitative predictions regarding real-time and embedded features of systems taking into account both hardware and software characteristics.

The profile is structured around two concerns, one to model the features of real-time and embedded systems and the other to annotate application models so as to support analysis of system properties. These are shown by the MARTE design model package in following figure, and the MARTE analysis model package, respectively. These two major parts share common concerns with describing time and the use of concurrent resources, which are contained in the shared package called MARTE foundations. A fourth package contains the annexes profiles defined in MARTE, as well as a predefined model libraries that may used by modelers to denotes their real-time and embedded applications.


Figure 1

Architecture of the MARTE profile (NFPs = Non-Functional Properties , GRM = Generic Resource Modeling, GCM = Generic Component Model, Alloc = Allocation modeling, RTEMoCC = RTE Model of Computation & Communication, SRM = Software Resource Modeling, HRM = Hardware Resource Modeling, GQAM = Generic Quantitative Analysis Modeling, SAM = Schedulability Analysis Modeling, PAM = Performance Analysis Modeling, VSL = Value Specification Language, RSM = Repetitive Structure Modelling) 



Hit Counter

Copyright © 1997-2012Object Management Group, Inc. All Rights Reserved. For questions about the WEBSITE , please contact [email protected] For TECHNICAL questions, please contact [email protected] This site is best viewed at 800x600 pixels with Netscape Navigator or Internet Explorer versions 4.0 or later or any browser
 capable of viewing JavaScript and CSS 2.0. The site is using
DHTML JavaScript Menu By Milonic.com.