Abstract FR:

Dans les systèmes temps réel et répartis, la synchronisation de tâches fait souvent référence au temps réel. Cependant, cette synchronisation ne peut être cohérente que si tous les nœuds ont la même perception du temps. La synchronisation des horloges locales des nœuds s'impose alors pour que l'ensemble des nœuds aient une vue globale cohérente du temps qu'ils manipulent. Dans cette thèse nous nous intéressons à ce problème de synchronisation d'horloges notamment sous les aspects suivants : proposition d'une approche permettant d'étudier les structures des algorithmes de synchronisation d'horloges en utilisant les mêmes modèles. Cette partie fait suite à la thèse de J. He soutenue en 1993. Analyse des performances temporelles (la précision d'accord et l'exactitude) et de complexité des algorithmes en termes de nombre de messages. Analyse des fautes traitées par les algorithmes de synchronisation d'horloges et proposition d'une démarche d'analyse de la tolérance aux fautes dans les algorithmes de synchronisation d'horloges. Étude d'implantation des algorithmes de synchronisation d'horloges. On s'intéresse notamment aux performances obtenues en plaçant la synchronisation des horloges au niveau M. A. C. (Medium Access Control) des réseaux