Analyse De L'ordonnançabilité Sur Des Modèles Uml 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’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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
