Mémoires de Fin d’Etudes
Etablissement
Université de Sétif 1 - Ferhat Abbas
Affiliation
Département d’Informatique
Auteur
LEMYA, Achi
Directeur de thèse
MOHAMED. MOSTEFAI (Professeur)
Co-directeur
ABDELLAH. BOUKERRAM (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Analyse de l’ordonnançabilité sur des modèles UML temps-réel
Mots clés
Systèmes temps-réel et embarqués, MARTE, Analyse de l’ordonnançabilité temps-réel
Résumé
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’étude 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 Temps-réel de modéliser leurs systèmes afin d’analyser leurs ordonnançabilités grâce à l’outil d’analyse MAST.
Date de soutenance
2012
Cote
TH861
Pagination
88P
Format
CD
Statut
Soutenue