MARTE : le futur standard OMG pour le développement dirigé par les modèles des systèmes embarqués temps réel

Depuis l'adoption du standard UML, notamment sous sa deuxieme version, ce language de modelisation a ete tres largement teste industriellement pour le developpement de systemes embarques temps reel (SETR). Fort de cette experience, UML apparait aujourd'hui comme un langage de modelisation tres utile, couvrant de multiples besoins mais ne permettant pas de repondre a toutes les specificites metiers liees au developpement de systemes temps reels embarques. Le manque d'artefacts pour la quantification du temps, pour la modelisation des ressources d'execution (exemple : tâches et semaphores) et pour la descritpion rigoureuse d'une semantique d'execution empechait jusqu'a maintenant sa plus large utilisation dans ces domaines. Ceux-ci necessitent des langages couvrant aussi bien les besoins lies a la conception que ceux lies a l'analyse des systemes. Pour repondre a ces besoins, le consortium OMG a d'ores et deja normalise des extensions a son langage de modelisation universel UML : l'extension SPT (Schedulability, Performance and Time) et l'extension QoS&FIT (Modeling Quality of Service and Fault-Tolerance Characteristics & Machanisms). Ces extensions ne couvrant pas tous les besoins d'un developpement dirige par les modeles, l'OMG a recemment emis un nouvel appel a propositions pour une extension nommee MARTE (UML PROFILE FOR MODELING AND ANALYSIS OF REAL-TIME AND EMBEDDED SYSTEMS). Le consortium ProMarte a repondu a cet appel. Bien que cette propostion soit en cours de construction, il est d'ores et deja possible de decrire les principaux concepts qu'elle fournit. Il est aussi possible de faire une premiere comparaison avec d'autres langages utilises dans l'embarque temps reel tel que le langage de description d'architectures : AADL (Architecture Analysis and Design Language).