Contribution à l'algorithmique distribuée dans les réseaux mobiles ad hoc - Calculs locaux et réétiquetages de graphes dynamiques. (Distributed algorithmics in mobile ad hoc networks - Local computations and dynamic graph relabelling systems)

Les reseaux mobiles ad hoc sont par nature instables et imprevisibles. De ces caracteristiques decoule la difficulte a concevoir et analyser des algorithmes distribues garantissant certaines proprietes. C'est sur ce point que porte la contribution majeure de cette these. Pour amorcer cette etude, nous avons etudie quelques problemes fondamentaux de l'algorithmique distribuee dans ce type d'environnement. Du fait de la nature de ces reseaux, nous avons considere des modeles de calculs locaux, ou chaque etape ne fait collaborer que des n\oe uds directement voisins. Nous avons notamment propose un nouveau cadre d'analyse, combinant reetiquetages de graphes dynamiques et graphes evolutifs (modele combinatoire pour les reseaux dynamiques). Notre approche permet de caracteriser les conditions de succes ou d'echec d'un algorithme en fonction de la dynamique du reseau, autrement dit, en fonction de conditions necessaires et/ou suffisantes sur les graphes evolutifs correspondants. Nous avons egalement etudie la synchronisation sous-jacente aux calculs, ainsi que la maniere dont une application reelle peut reposer sur un algorithme de reetiquetage. Un certain nombre de logiciels ont egalement ete realises autour de ces travaux, notamment un simulateur de reetiquetage de graphes dynamiques et un verificateur de proprietes sur les graphes evolutifs.