Abstract FR:

Les travaux presentes ici concernent essentiellement la production et la preuve d'algorithmes repartis, selon un concept modulaire compatible avec les normes osi, et supportant la panne definitive ou momentanee de lignes de communication ou de sites du reseau. Les notations utilisees en premier lieu precisees, en particulier pour la communication entre couches logicielles et entre sites du reseau, et on definit les caracteristiques des couches basses sur lesquelles on s'appuie, ainsi que la classification utilisee par la suite des differents types de reseaux etudies. On etudie ensuite des problemes dont les roles sont fondamentaux dans les systemes repartis. Il s'agit: 1) de la construction d'un arbre recouvrant et du parcours de reseau, pour lesquels des primitives, pouvant etre utilisees dans divers algorithmes repartis, sont presentees et prouvees, aussi bien dans un contexte sans pannes qu'en cas de pannes definitives de lignes ou de sites; 2) du probleme de routage dans un reseau susceptible d'etre affecte par des pannes de lignes ou de sites. Une solution est proposee permettant d'eviter les inconvenients classiques des algorithmes connus; 3) de la communication point a point tolerante aux pannes, l'etude prenant comme point de depart un algorithme recemment mis au point par beauquier et al.