Le consortium industriel OMG (Object Management Group) vient d’adopter un nouveau standard qui étend le langage de modélisation UML 2 afin de permettre la conception et l’analyse des systèmes temps-réel et embarqués. Thales et ses partenaires, le CEA LIST et l’INRIA, réunis dans le cadre du programme de recherche en technologies logicielles CARROLL, ont été les principaux acteurs de cette initiative d’extension standard.
Le nouveau standard, appelé MARTE ( » Modeling Analysis of Real-Time and Embedded systems « ) permet d’élargir le marché des outils dédiés à la conception de systèmes temps-réel et embarqués, aujourd’hui majoritairement spécifiques, vers le développement d’une offre diversifiée d’outils génériques.
Le standard MARTE a été conçu à l’aide du mécanisme standard de définition de profils UML : il peut ainsi compléter n’importe quel outil de modélisation respectant la norme UML 2, pour l’ajout de fonctionnalités d’analyse et de conception de systèmes temps-réel. Il permet la mise en œuvre, depuis un environnement UML standard, des techniques existantes d’analyse des systèmes temps-réel telles que des analyses d’ordonnançabilité (par ex. RMA) ou de performance (par ex. théorie des files d’attentes et réseaux de Pétri) tout en restant ouvert à de nouvelles approches telles que des techniques d’ordonnancement statique ou dynamique basées directement sur l’ingénierie des modèles.
Le nouveau standard, appelé MARTE ( » Modeling Analysis of Real-Time and Embedded systems « ) permet d’élargir le marché des outils dédiés à la conception de systèmes temps-réel et embarqués, aujourd’hui majoritairement spécifiques, vers le développement d’une offre diversifiée d’outils génériques.
Le standard MARTE a été conçu à l’aide du mécanisme standard de définition de profils UML : il peut ainsi compléter n’importe quel outil de modélisation respectant la norme UML 2, pour l’ajout de fonctionnalités d’analyse et de conception de systèmes temps-réel. Il permet la mise en œuvre, depuis un environnement UML standard, des techniques existantes d’analyse des systèmes temps-réel telles que des analyses d’ordonnançabilité (par ex. RMA) ou de performance (par ex. théorie des files d’attentes et réseaux de Pétri) tout en restant ouvert à de nouvelles approches telles que des techniques d’ordonnancement statique ou dynamique basées directement sur l’ingénierie des modèles.