ملخص: L'utilisation de l'approche synchrone dans la programmation des systèmes d'exploitation permet d'obtenir une plate-forme déterministe et prouvée pour bâtir des applications temps-réel. Cette thèse présenté une réalisation modulaire de la gestion des taches a l'aide du langage synchrone esterel. Nous montrons quelques types de propriétés non-triviales qui ont pu être verifiees automatiquement sur le code esterel. Nous définissons la machine d’exécution nécessaire a son fonctionnement, et en decrivont une implantation expérimentale. Nous montrons comment, dans une configuration repartie, plusieurs exemplaires de cette gestion des taches peuvent être synchronisées, ceci afin d'obtenir un exécutif synchrone reparti, qui facilite la réalisation des applications temps-réel distribuées.

Paris:
لغة: فرنسية
الوصف المادي: 170 p. ill. ;30 cm.
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Sciences appliquées :Thèses et écrits académiques
Prototypage

ملاحظة: Bibliogr. pp.139-143