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

Le profil UML MARTE est structuré autour de deux préoccupations principales :

• d'une part, la modélisation des caractéristiques des systèmes temps-réel et embarqués ;

• d'autre part, l'annotation des modèles d'application pour analyser les propriétés du système.

Ainsi, comme le montre la figure 1 :

• un paquetage regroupe les fondations nécessaires aux deux préoccupations ;

• un autre les sous-profils dédiés à la conception ;

• un troisième les sous-profils dédiés à l'analyse ;

• un paquetage annexe regroupe des sous-profils utilitaires ou transverses et la bibliothèque de modèles utilisés par la spécification et utilisables par l'utilisateur de MARTE.

La conception de l'ensemble est modulaire et en fonction de ses besoins, l'utilisateur peut choisir tel ou tel sous-ensemble des 14 sous-profils ainsi définis.

Comme ce profil se veut pouvoir servir de langage commun aux différents métiers de la conception de systèmes temps-réel et embarqués, de nombreux cas d'utilisation sont définis. Pour chacun, deux niveaux de conformité sont définis et pour chacun une liste des sous-profils à utiliser est indiquée dans le standard (table 2.2 page 4 de la spécification MARTE 1.0). La figure 2 donne un aperçu des cas d'utilisation les plus courants.

Par la suite, la revue de l'ensemble du profil donne un aperçu complet et deux points particulièrement importants sont détaillés :

• la modélisation des propriétés non fonctionnelles ;

• celle des plates-formes matérielles.