Here we collect information about existing tools (academic, industrial, open source, etc.) used in support of, or related to the UML Profile for MARTE.

Should you be interested in adding tools in this page please do not hesitate on asking for a personal login and password to enter this data by yourself in this pages. Please contact us.

> MARTE Profile for Rational Software Architect (RSA) 7.0

Thales Research & Technology has developed tooling around the UML profile for MARTE in the context of a case study. We implemented the UML profile for MARTE and consolidated a VSL editor for Rational Software Architect 7.0. It is made available today under the Eclipse Public Licence (EPL).

• Download the MARTE profile for RSA 7 (v1.0.0) -  01 November 2007.

Do not hesitate to contact us, if you want more information about this software, or if you want to provide feedback.
Contacts:

• Sebastien Demathieu (sebastien.demathieu[at]thalesgroup.com)

• Laurent Rioux (laurent.rioux[at]thalesgroup.com)
   

> MARTE Profile for  MagicDraw 15.5 (NoMagic)

You can download MARTE Profile for MagicDraw 15.5 directly on the Magicdraw website here:

• The MARTE profile for MagicDraw 15.5 -  14 November 2008.

Do not hesitate to contact NoMagic Inc, if you want more information about this software, or if you want to provide feedbacks.

Contacts: No Magic, Inc. (support[at]magicdraw.com)
 

> Bridge between MARTE for RSA 7.0 to RapidRMA (TriPacific)

Thales Research & Technology has developed a bridge between MARTE models for RSA 7.0 and RapidRMA (from TriPacific Inc.) to perform scheduling analysis of MARTE models.

• Download here the bridge v1.0.0 - 04 August 2008

Do not hesitate to contact us, if you want more information about this software, or if you want to provide feedback.
Contacts:

• Sebastien Demathieu (sebastien.demathieu[at]thalesgroup.com)

• Laurent Rioux (laurent.rioux[at]thalesgroup.com)
   

> Papyrus UML

 Papyrus is a dedicated tool for modelling within UML2. This open source tool is based on the Eclipse environment.

• The most up to date version of Papyrus may be found in http://www.papyrusuml.org 
   

> MARTE Plug-ins for Scheduling Analysis with Cheddar

Thales RT has developed a set of Eclipse plugins which allows to perform scheduling analysis (RMA style) with Cheddar on UML/MARTE models. 
 

http://beru.univ-brest.fr/~singhoff/cheddar/contribs/examples_of_use/00readme.html provides the documentation and the source code of this work.

Do not hesitate to contact us, if you want more information about this software, or if you want to provide feedback.
Contacts:

• Eric Maes (eric.maes[at]thalesgroup.com) 
   

> Tool for the handling of Clock Constraint Specification Language: TimeSquare

The UML MARTE profile introduces a powerfull description of time. CCSL  (Clock Constraint Specification Language) is a declarative language that allows constraining synchronously / asynchronously or in a mixed fashion, different possibly infinite sequences of events. TimeSquare is the tool based on this and that provide timing diagram, model animation, etc. 
 

http://www-sop.inria.fr/aoste/dev/time_square/   provides open access to this work.

> Support for MARTE in Rhapsody 7.5

Rhapsody 7.5 includes the OMG UML Profile for Modeling and Analysis of Real-Time Embedded Systems (MARTE). You can use the MARTE profile to model concepts of real-time systems by using stereotypes to annotate models for support by analysis tools. 
 

• Link to the release notes for Rhapsody 7.5 which includes MARTE
  

> Analysis of MARTE-SAM models with MAST: MARTE2MAST

This eclipse based pluging made with acceleo and java functions, applies the MAST set of schedulability analysis tools to UML+MARTE models.  
 

• Link to the MARTE2MAST tool.