MARTE
UML Profile for MARTE
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 for Modeling and Analysis of Real-Time and Embedded systems), provides support for specification, design, and verification/validation stages. MARTE defines foundations for model-based descriptions 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 analysis framework that 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 an 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.
- Title:
- UML Profile for MARTE
- Acronym:
- MARTE
- Version:
-
1.3
- Document Status:
-
formal ⓘ
- Publication Date:
- August 2024
- IPR Mode ⓘ
- Non-Assert ⓘ
Table Of Contents
- About the Specification
- Companies that have contributed to the development of this Specification
- Issues associated with this specification
- Specification Documents
- History
- Links
Companies that have contributed to the development of this Specification
- Copyright © 2023 Airbus Group
- Copyright © 2023 Commissariat a l Energie Atomique CEA
- Copyright © 2023 Simula Research Laboratory
- Copyright © 2023 Softeam
- Copyright © 2023 Universidad de Cantabria
Issues associated with this specification
Issues Reported in this Specification
‐
Version 1.3 only
Specification Documents
Normative Documents
| Description | Format | URL | OMG File ID |
|---|---|---|---|
| Specification |
MARTE/1.3/PDF
|
formal/24-06-03 |
Normative Machine Readable Documents
| Description | Format | URL | OMG File ID |
|---|---|---|---|
| MARTE Profile.xmi | XMI |
MARTE/20230502/profile.xmi
|
ptc/23-06-07 |
| MARTE Library.xmi | XMI |
MARTE/20230502/library.xmi
|
ptc/23-06-08 |
Informative Documents
| Description | Format | URL | OMG File ID |
|---|---|---|---|
| Specification changebar |
MARTE/1.3/PDF/changebar
|
formal/24-06-04 |
History
Formal Versions
| Version | Adoption Date | URL |
|---|---|---|
| 1.3 | August 2024 | https://www.omg.org/spec/MARTE/1.3 |
| 1.2 | April 2019 | https://www.omg.org/spec/MARTE/1.2 |
| 1.1 | June 2011 | https://www.omg.org/spec/MARTE/1.1 |
| 1.0 | November 2009 | https://www.omg.org/spec/MARTE/1.0 |
Links
- This Document:
- https://www.omg.org/spec/MARTE/1.3/About-MARTE
- RDF
- https://www.omg.org/spec/MARTE/1.3/About-MARTE.rdf
- JSON-LD
- https://www.omg.org/spec/MARTE/1.3/About-MARTE.jsonld
- Latest Document:
- https://www.omg.org/spec/MARTE
- RDF
- https://www.omg.org/spec/MARTE/About-MARTE.rdf
- JSON-LD
- https://www.omg.org/spec/MARTE/About-MARTE.jsonld
- Members Only
- https://www.omg.org/members/spec/MARTE/1.3
- Supersedes:
- https://www.omg.org/spec/MARTE/1.3/Beta1
- Keywords:
- Contact:
- Send a question ⓘ