aL'un des problèmes majeurs dans les systèmes répartis est la synchronisation des horloges qui a pour but de fournir un temps global. De nombreux travaux ont été menés pour établir et analyser des algorithmes de synchronisation des horloges (ASH). Ces travaux existants utilisent souvent des hypothèses variées, parfois incompatibles d'un travail à un autre. La procédure d'analyse des performances est spécifique à chaque travail. La conséquence en est que les résultats obtenus sont peu généralisables et difficilement utilisables. Tout cela est du au manque d'une spécification et d'une modélisation claires du problème. Cette contribution propose une approche pour modéliser les fonctions de base des ASH; a chaque fonction sont associes des modèles théoriques et des modèles approximatifs de mise en œuvre. Tout ASH utilise pour chacune de ses fonctions un modèle approximatif. L'apport de cette approche est double: d'une part, les résultats d'analyse élaborés ici sont généraux et permettent d'étudier, de manière homogène, les divers ASH; d'autre part, l'établissement de différents modèles théoriques et approximatifs ouvre l'horizon pour construire des nouveaux ASH. L'expérimentation des ASH sur FIP démontre la validité de cette démarche