Analyse de l'ordonnançabilité sur des modèles UML temps-réel

Abstract

L’utilisation des outils actuels de vérification et de simulation de l’ordonnançabilité des systèmes permet la validation de l’ordonnancement des systèmes. L’Etude de l’analyse d’ordonnançabilité est judicieuse surtout quand les systèmes ne tolèrent pas de fautes. La non prise en compte des aspects de l’analyse d’ordonnançabilité dans les étapes précoces du cycle de développement (la conception) de ces systèmes, rend la mise en cause du modèle plus difficile et onéreuse surtout quand l’ordonnancement est irréalisable. Grâce aux mécanismes d’extension d’UML, le profil MARTE permet de prendre en compte les aspects particuliers des systèmes temps réel et embarqué, ainsi les modèles UML peuvent être annotés par des informations supplémentaires ce qui rend la modification de la modélisation de départ faisable suite aux résultats aboutis par les outils de vérification. Le but de ce travail consiste à fournir un framework basé MARTE permettant aux concepteurs des systèmes Tempsréel de modéliser leurs systèmes afin d’analyser leurs ordonnançabilités grâce à l’outil d’analyse MAST.