CLEARSY attended FM2024, one of the largest Formal Methods conferences in the world. More than 300 academic and industrial researchers gathered in Milan from September 9th to 13th to present and discuss recent advances in this field.
Thierry Lecomte, the research director of CLEARSY, was invited to give a keynote at FMICS, the section focused on Industrial Critical Systems. In his presentation, Thierry shared our nearly 25 years of experience applying Formal Methods in the development of industrial critical systems around the world.
We also published a paper at the conference where we propose the use of the CLEARSY Safety Platform, the certified safety computer and approach developed by CLEARSY, to monitor legacy systems that cannot be replaced by computer-based ones. This allows for monitoring and formal analysis of non-computerized critical systems, improving their safety.
It was a pleasure to reconnect with many research colleagues, as well as to meet a new generation of researchers in this important field for system safety. We will continue to share our knowledge and experience with the academic community, and we hope to see everyone again soon!