13 novembre 2023
Loïc Germerie Guizouarn (LACL)Les systèmes distribués sont le plus souvent basés sur l’échange asynchrone de messages entre des agents. Les automates communicants sont un formalisme permettant de modéliser les communications de ces systèmes, afin de détecter automatiquement des erreurs comme des pertes de messages ou des inter-blocages. Ces problèmes sont indécidables en général pour des systèmes à partir de deux machines, et plusieurs hypothèses restrictives ont été étudiées pour les rendre décidables. Dans cette présentation, nous étudierons une de ces approches, basée sur l’étude des systèmes dont les exécutions sont réalisables avec des communications synchrones (Realisable with Synchronous Communication, ou RSC). Les comportements de ces systèmes approximent des comportements synchrones, où les messages sont envoyés et reçus simultanément.