Abstract FR:

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.