Outils supportant MARTE
Modélisation et analyse de systèmes embarqués ou temps-réel avec le profil UML MARTE

4.1 Modeleurs UML

Trois modeleurs UML supportent actuellement le profil MARTE :

• Papyrus, modeleur libre faisant partie du projet Eclipse, fournit l'implémentation de référence de MARTE ;

• deux modeleurs commerciaux supportent aussi le profil MARTE : RSA (Rational Software Architect) d'IBM, par le biais d'un profil fourni sous la licence libre Eclipse par Thales Research and Technology et MagicDraw de NoMagic.

4.2 Outils IDM

Le premier et le seul outil d'ingénierie dirigé par les modèles commerciaux, disponibles à la connaissance de l'auteur au moment de l'écriture de ce dossier, a été annoncé par CoFluent Design et permet l'utilisation d'UML, MARTE et SysML dans CoFluent Studio, pour l'exécution de modèles et la prédiction de performances basée sur une simulation en SystemC.

Les autres outils disponibles viennent du monde académique. On peut citer :

• Gaspard2, un environnement de co-modélisation pour la conception de systèmes embarqués de type flot de données intensif proposé par l'équipe DaRT, commune au LIFL (Laboratoire d'Informatique Fondamentale de Lille, unité mixte de recherche entre les universités Lille 1 et Lille 3, et le CNRS) et au centre de recherche INRIA Lille – Nord Europe. La conception se fait en utilisant des modèles conformes à un sous-ensemble de MARTE et l'environnement permet la génération de code de vérification formelle en Signal ou Lustre, d'exécution en pthreads, OpenMP ou OpenCL, de simulation en SystemC ou de synthèse en VHDL selon les modèles. Une exploration d'architecture multi-objectifs y est en cours d'intégration ;

• TimeSquare, un outil de modélisation de modèles de calcul basé sur CCSL, le langage de spécification de contraintes d'horloges proposé dans l'annexe C de MARTE et interopérable avec des modèles...