Auto-stabilisation : gestion de robots mobiles et confinement de fautes

par Joyce El Haddad

Thèse de doctorat en Informatique

Sous la direction de Serge Haddad.

Soutenue en 2004

à l'Université Paris-Dauphine .


  • Résumé

    Cette thèse porte sur l'étude des algorithmes répartis tolérant aux pannes. Plusieurs approches ont été proposées dans cette optique, parmi lesquelles l'auto-stabilisation (le système rétablit de lui-même un fonctionnement correct au bout d'un temps fini) et le confinement de fautes (on limite la propagation d'une faute singulière). Nos travaux visent à étendre les champs d'application de ces deux approches. Concernant l'approche auto-stabilisante, nous proposons un algorithme d'ordonnancement des déplacements dans un système de robots mobiles communiquant sur des points de rendez-vous fixés. Cet algorithme garantit que, après la phase de stabilisation, chaque visite à un point de rendez-vous aboutit à une communication. Nous présentons ensuite un algorithme auto-stabilisant pour engendrer et maintenir les tables de routage des robots. Concernant le confinement de fautes, nous présentons un algorithme qui résout le problème de l'élection et de l'arbre couvrant dans un graphe quelconque.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 143p.
  • Notes : Publication autorisée par le jury
  • Annexes : bibliogr.p.257-275.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.