Marte2Mast

Converter of schedulability analysis models made with UML2 and the UML profile for MARTE to MAST

What is Marte2Mast

Marte2Mast is a tool that enables the extraction of schedulability analysis models created with a UML tool and their direct analysis using MAST. This effort is delivered as an Eclipse plugin and its corresponding GPL licensed code.

Introduction

Marte2Mast is a tool that enables the extraction of schedulability analysis models created with a UML tool and their direct analysis using MAST. The modeling methodology is similar to UML-MAST but the modeling constructs are those defined in the MARTE standard.

This effort is delivered as an Eclipse plugin, and has been implemented using the Eclipse technologies provided by Papyrus UML as graphical tool, the UML2 plugin as model repository, and the Acceleo plugin for the extraction of text from the UML2 models plus a significant amount of Java custom code.

As previously stated, Marte2Mast's main goal is to generate a MAST text model from a UML-MARTE schedulability analysis input model, but it has been extended to, if the user chooses so, invoke MAST to analyze the generated model and create a new version of the original UML model updated with the output data from MAST.

The source code is also provided, under the GPL v2 license.

Installation & Usage

Here are the basic installation steps and software you'll need to run Marte2Mast:

Install the Helios version of the Eclipse Modeling Tools:
http://www.eclipse.org/downloads/packages/eclipse-modeling-tools-includes-incubating-components/heliosr
Install the "Acceleo" and "Papyrus UML" plug-ins for Eclipse using the Eclipse embedded tool for installing modeling components: "Help" => "Install Modeling Component"
Install the MARTE UML Profile for "Papyrus UML" using the following update site (i.e. in Eclipse: Help > Install New Software):
http://download.eclipse.org/modeling/mdt/papyrus/extra/updates/nightly/helios/
If you have problems with this version you can download a tested version from the downloads section below.
To have MAST being invoked automatically you need to download it from:
http://mast.unican.es/#downloading

for GNU/Linux: http://mast.unican.es/mast-bin-linux-1-3-8-0.tar.gz
for Windows: http://mast.unican.es/mast-bin-win-1-3-8-0.zip

eclipse/mast/

Install the Marte2Mast plugin: download the two .jar files located on the downloads section and copy them into your local Eclipse plugins folder, (i.e. eclipse/plugins/). Restart Eclipse.

Usage:

If you need an input model to test your Marte2Mast installation, you may download the teleoperated-robot example model from the downloads section, then copy the model files into a project in your workspace and right click on the .uml file. Select "Acceleo Model to Text" from the menu and then "Generate Marte2Mast".
To learn more about how Marte2Mast works, you can watch the videos below or check the "Usage Notes".

Downloads

To download, right-click on the link and choose "Save link as"

Marte2Mast Plugin files (copy both .jar files to the eclipse/plugins folder):

es.unican.ctr.marte2mast_1.0.0.201102161910.jar[size: 126,0 KB | date: 2011/02/16]
es.unican.ctr.marte2mast.ui_1.0.0.201102161910.jar[size: 8,0 KB | date: 2011/02/16]

Tested on:
Eclipse Helios, Acceleo 3.0.1.v201009150438, Papyrus UML 0.7.2.v201101191114, MARTE profile 0.7.2.v201101252156 (Ubuntu GNU/Linux and Windows)

Files corresponding to the teleoperated-robot-model example:
- umlmast-example.pdf[size: 217,2 KB | date: 2010/12/16]
- teleoperated_robot.zip[size: 20,0 KB | date: 2011/02/16] Which contains the following files:

The source code, GPL v2 licensed, as a compressed workspace you can import in Eclipse. You may need to update the uml2 plugin dependency in the build path to the one in your Eclipse installation, for example: org.eclipse.uml2.common_1.5.0.v201005031530.jar:
- marte2mast_workspace_20110216.zip[size: 303,7 KB | date: 2011/02/16]
- javadoc_20110216.zip[size: 103,4 KB | date: 2011/02/16]

Here you have a copy of the version of the MARTE profile for Papyrus UML we have been using, in case you have any problem with the update site version:
- marte_profile_0.7.2.v201101252156.zip[size: 6,3 MB | date: 2011/02/16]