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

الموضوعات

علوم تطبيقية وتكنولوجية

الملخص

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.

روابط وملفات

التعريف والنوع

رقم الوثيقة

f68d0502-0113-4551-b6cb-9016356023fc

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

الرسائل العلمية

صيغة المصدر

رسائل ماجيستير

نوع الملف

pdf text

أسماء الملفات

325011_2.pdf, 325011_3.pdf, 325011_4.pdf

بيانات النشر

ترجمة العنوان

تحليل قابلية الجدولة في نماذج UML الوقت الحقيقي schedulability analysis on Real-time UML models

ألقاب المؤلفين

[{"name_ar":" M. Mostefai","title_ar":"اشراف","title_en":"Supervision"},{"name_ar":" Lemya Achi","title_ar":"اعداد","title_en":"Preparation"}]

اللغة

French

المصدر والدورية

اسم المصدر

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

المحتوى والصفحات

عدد الصفحات

0

إشراف وإعداد

الإشراف

M. Mostefai

الإعداد

Lemya Achi

الاقتباسات الببليوغرافية