This set of plug-ins implements the OMG specification of a UML™ profile for Modeling and Analysis of Real Time and Embedded systems (in short MARTE). MARTE specification provides support for specification, design, and verification/validation stages. This new profile is also intended to replace the existing UML Profile for Schedulability, Performance and Time (formal/03-09-01).
- Official implementation of the OMG standard in the Eclipse UML2 standard platform.
- Integrated in Topcased UML2 editors (new view for profile management, profile registration system, etc.)
How to use Marte?
Create an UML2 model and then apply Marte profile on it.
Interests and outcomes
The Marte Profile is to the RT/E systems domain as UML to the System & Software domain : a family of large and open specification formalisms!