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 POTONNIEE

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1996

à Paris 6 .

    mots clés 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 176 P.
  • Annexes : 58 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1996 669
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.