This Papyrus plug-in implements the OMG specification of a UML™ profile for Modeling and Analysis of Real Time and Embedded systems (in short MARTE). This 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).

Current Papyrus implementation is based on the OMG specification UML Profile for MARTE V1.0 (formal/2009-11-02) November 2009. This implementation provides the profile, the model library and a beta version of the Value Specification Language (VSL) editor.

See : http://www.omgmarte.org/ for details. The specification is also available here: http://www.omg.org/spec/MARTE/