Résumé: 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:
Langue: Français
Collation: 170 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Sciences appliquées :Thèses et écrits académiques
Prototypage

Note: Bibliogr. pp.139-143