Systèmes de phases synchronisées

Les systèmes de phases synchronisées [23] que j'ai développés avec C. Delporte-Gallet répondent à ces préoccupations. Dans un système de phases synchronisées, les processus essaient de travailler de la façon la plus synchrone possible. L'avantage de ce modèle de calcul est que les propriétés de sûreté sont possibles à assurer dans tous les cas, les propriétés de vivacité dépendant, elles, de propriétés supplémentaires que l'on doit faire sur le système. Pour assurer la vivacité du système on pourra supposer soit que l'on a accès à un détecteur de défaillances ultimement parfait (c'est-à-dire qui, un jour, donnera à chaque processus la liste exacte des processus défaillants), soit que l'on est dans un système partiellement synchrone (un système synchrone avec des défaillances temporelles).

Les systèmes de phases synchronisées ont été choisis comme solution algorithmique du projet ATR (projet ``accord temps réel'' conjoint DRET / MENESR / CNRS) [36]. Il est intéressant de noter que cette solution a été implémentée par AXLOG, partenaire industriel du projet.