Une approche formelle pour l’ingénierie des systèmes temps-réel

الموضوعات

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

الملخص

La vérification des systèmes temps-réel est une tâche complexe etdélicate, surtout lorsqu'ils sont utilisés dans des domaines critiques. Dans le cadre de cette thèse, nous proposons l'intégration d'une phase de vérification formelle dans un processus de développement des systèmes temps-réel critiques. Pour ce faire, nous assurons un passage des descriptions architecturales et comportementales d’un système temps-réel vers un modèle formel. En effet, nous avons défini et implanté une transformation de modèles, afin de permettre une phase de vérification des propriétés temporelles et comportementales. La spécification et la vérification formelles de système sont désormais automatiques et intégrées dans le processus de dévelopment.

روابط وملفات

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

رقم الوثيقة

0b69c255-58a0-4dab-aa6b-d66993d61835

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

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

صيغة المصدر

رسائل دكتوراة

نوع الملف

pdf image

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

0b69c255-58a0-4dab-aa6b-d66993d61835_1.pdf

بيانات النشر

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

[{"name_ar":"Hana Mkaouar","title_ar":"اعداد","title_en":"Preparation"},{"name_ar":"Mohamed Jmaiel","title_ar":"اشراف","title_en":"Supervision"}]

اللغة

French

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

اسم المصدر

Une approche formelle pour l’ingénierie des systèmes temps-réel

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

عدد الصفحات

0

ترجمة الملخص

The verification of real-time systems is a complex and delicate task, especially when they are used in safety-critical domains. In this thesis, we propose the integration of a formal verification phase into a development process of critical real-time systems. To do this, we provide a mapping of the architectural and behavioral descriptions of a real-time system into a formal model. Indeed, we have defined and implemented a model transformation, in order to allow a verification phase of the temporal and behavioral properties. Formal specification and verification of the system are henceforth automatic and integrated into the development process.

إشراف وإعداد

الإشراف

Mohamed Jmaiel

الإعداد

Hana Mkaouar

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