CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019.
CLEARSY y fais deux présentations :
- AFFORD19 : The Bourgeois Gentleman, Engineering and Formal Methods, Thierry Lecomte
- ID@FM’19 : Property-Driven Software Analysis Mathieu Comptier, David Deharbe, Paulin Fournier and Julien Molinero
En plus du programme académique, les journées industries se focalisent sur les développements industriels liés aux méthodes formelles, et le forum outils permet aux académiques et industriels de présenter les outils qui prennent en charge l’application d’une méthode formelle dans différentes étapes du développement d’un logiciel ou d’un système.
La CLEARSY Safety Platform y est présentée. Celle-ci facilite le développement et le déploiement d’une application critique de sécurité, jusque un niveau SIL4. Elle comprend une suite d’outil formels (avec preuve mathématique), une génération de code redondant, une compilation et une plateforme matérielle qui assure l’exécution sécuritaire du code.