Résumé: L'exigence de tolérance aux fautes est incontournable dans les systèmes répartis. en effet, introduite par l'existence de délais de communication variables, et par la non sureté de fonctionnement des processeurs et des moyens de communication montrent que la tolérance aux fautes est un souci inhérent aux systèmes répartis. Les travaux présentés dans cette thèse portent sur la tolérance aux fautes dans les systèmes répartis et ont conduit à la conception d'un algorithme d'élection sur un anneau unidirectionnel; algorithme tolérant à la perte du message d'élection.L'algorithme conçu a été formellement spécifié en Estelle et validé par simulation en l’absence et en présence de fautes. Enfin, nous présentons et appliquons une méthode éprouvée de vérification des propriétés générales et spécifiques d"une application répartie pour vérifier la propriété particulière de notre algorithme: " en cas de perte du message d'élection, sa régénération a toujours lieu". Cette technique dite de projection procède d'une réduction du graphe d'accessibilité de l'application considérée et est basée sur des principes d'équivalence observationnelle de système de transitions.

Alger:
Langue: Français
Collation: 87 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Alger, Université des Sciences et de la Technologie Houari Boumedienne
Index décimal 004.368 2 .Architecture des systèmes d'ordinateurs répartis
Thème Informatique

Mots clés:
Parallélisme (Informatique)
Algorithmes parallèles
Tolérence (Fautes)
Systèmes à paramètres répartis

Note: Annexe pp.76-87; Bibliogr.pp.88-91