Etude et prototypage en esterel de la gestion de processus d'un micro-noyau de systeme d'exploitation reparti avec garantie de service

par Olivier Potonniée

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Girault.

Soutenue en 1996

à Paris 6 .

mots clés

Résumé

L'utilisation de l'approche synchrone dans la programmation des systemes d'exploitation permet d'obtenir une plate-forme deterministe et prouvee pour batir des applications temps-reel. Cette these presente une realisation modulaire de la gestion des taches a l'aide du langage synchrone esterel. Nous montrons quelques types de proprietes non-triviales qui ont pu etre verifiees automatiquement sur le code esterel. Nous definissons la machine d'execution necessaire a son fonctionnement, et en decrivont une implantation experimentale. Nous montrons comment, dans une configuration repartie, plusieurs exemplaires de cette gestion des taches peuvent etre synchronisees, ceci afin d'obtenir un executif synchrone reparti, qui facilite la realisation des applications temps-reel distribuees.

Titre traduit

Study and prototyping in esterel of process management in a distributed operating system's microkernel with service guarantees

Pas de résumé disponible.