Project

General

Profile

Actions

Documentation

MoSaRT is a tool for modelling real time systems in order to apply temporal analysis tests. It covers the modelling cycle via a graphical domain specific language, and aims to provide an oracle to select the best feasibility tests, and the best tools offering these tests for single processor cases, multiprocessor cases, and distributed cases.

This page describes how to prepare an execution of MoSaRT.

Software requirements

  • Java version >= 7.
  • An integrated development environment (i.e. Eclipse: https://eclipse.org/downloads/).
  • All operating systems that support at least the Java 7 version.

Download

MoSaRT System can be downloaded at http://forge.lias-lab.fr/projects/mosart/files

The archive file (mosart.zip) is composed of the following plugins:

  • fr.ensma.mosartproject.analysisrepository
  • fr.ensma.mosartproject.analysisrepository.edit
  • fr.ensma.mosartproject.analysisrepository.editor
  • fr.ensma.mosartproject.modelinglanguage
  • fr.ensma.mosartproject.modelinglanguage.design
  • fr.ensma.mosartproject.modelinglanguage.edit
  • fr.ensma.mosartproject.modelinglanguage.editor
  • fr.ensma.mosartproject.modelinglanguage.wizard

Install and configure Eclipse

  • Download an Eclipse Modeling Tools distribution (http://www.eclipse.org/downloads/)
  • Open Eclipse application and choose the workspace directory you've created previously
  • Go to the menu Help, open Install Modeling Components menu item
  • Install the following plugins dependencies:
    • OCL * SIRIUS * EEF
  • Select File => Import menu item
  • Select Existing Projects into Workspace item
  • On the Select root directory field, fill the complete path of the current workspace directory
  • From Projects list, select the projects and click on Finish

Execute MoSaRT

  • Select the modelinglanguage plugin
  • Open the context menu, select Run As => Run Configurations... menu item
  • Create a new Eclipse Application launch configuration
  • Choose a specific name and click on the Run button

Publications

Conferences

  • Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric Madiot, MoSaRT Framework : a Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems, Complex Systems Design & Management (CSDM'2014), edited by Springer Verlag, 2014.
  • Yassine OUHAMMOU, Emmanuel GROLLEAU, Jérôme Hugues, Mapping AADL models to a repository of multiple schedulability analysis techniques, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), edited by IEEE, 2013.
  • Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Reducing the gap between Design and Scheduling, 20th International Conference on Real-Time and Network Systems, edited by ACM, Nancy, France, edited by ACM, Novembre, 2012.
  • Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Model Driven Timing Analysis for Real-Time Systems, The 9th IEEE International Conference on Embedded Software and Systems (ICESS), edited by IEEE, Liverpool, UK, June, 2012.

Thesis

  • Yassine OUHAMMOU, Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design, Thesis, ISAE-ENSMA, december, 2013.

Historic Contributors

Code analysis

  • Programming Language: Java

Updated by Mickael BARON over 4 years ago · 21 revisions