Ingénierie dirigée par les modèles pour les systèmes temps-réel ou embarqués
Modélisation et analyse de systèmes embarqués ou temps-réel avec le profil UML MARTE

2.1 Quels modèles ?

Les modèles sont utilisés depuis qu'il existe des ingénieurs (maquettes, plans, modèles réduits, etc.). Ceux dont nous parlons ici sont des représentations informatiques d'un système établies dans un but particulier. Ce but détermine la portée et le niveau d'abstraction (ou de détail) du modèle. De bonnes propriétés d'un modèle sont :

• l'abstraction (on masque les détails non pertinents) ;

• la compréhensibilité (par l'homme et la machine) ;

• la fidélité (au système modélisé) ;

• la prédictibilité (on peut l'utiliser pour répondre à des questions sur le modèle) ;

• le faible coût.

Un bon modèle d'ingénierie a toutes ces propriétés.

Un standard a émergé ces 10 dernières années dans le monde du logiciel : UML (Unified Modeling Language) qui a organisé dans un ensemble cohérent les différentes pratiques de modélisation des logiciels (principalement orientés objets) développées dans la décennie précédente. Son succès a été fulgurant et il est maintenant utilisé dans la grande majorité des entreprises développant du logiciel à des fins non seulement de documentation et d'analyse mais de plus en plus à des fins productives de génération automatique ou semi-automatique de code, de tests ou de documentation. Ces utilisations productives des modèles sont appelées collectivement l'ingénierie dirigée par les modèles. Les techniques utilisées sont :

• la métamodélisation (définition de langages de modélisation) ;

• les transformations de modèles vers d'autres modèles ou du texte ;

• le couplage d'outils via des modèles communs.

2.2 Historique de MARTE

La version 2 d'UML a apporté des capacités de modélisation de systèmes qui manquaient aux versions précédentes (notées habituellement 1.x) :

• une séparation claire entre la modélisation de la structure (avec en particulier le diagramme de structure composite) et du comportement...