CLEARSY a participé à FM2024, l’une des plus importantes conférences sur les méthodes formelles au monde. Plus de 300 chercheurs académiques et industriels se sont réunis à Milan du 9 au 13 septembre 2024 pour présenter et discuter des avancées récentes dans ce domaine.
Thierry Lecomte, directeur de recherche de CLEARSY, a été invité à faire une présentation à FMICS, la section centrée sur les systèmes critiques industriels. Dans sa présentation, Thierry a partagé notre expérience de près de 25 ans dans l’application des méthodes formelles dans le développement de systèmes industriels critiques à travers le monde.
Nous avons également publié un article dans lequel nous proposons l’utilisation du calculateur certifié de sécurité CLEARSY et l’approche développée par CLEARSY pour surveiller les systèmes existants.
Ce fut un plaisir de renouer avec de nombreux collègues chercheurs, ainsi que de rencontrer une nouvelle génération de chercheurs dans ce domaine important pour la sécurité des systèmes. Nous continuerons à partager nos connaissances et notre expérience avec la communauté universitaire.