CLEARSY a contribué à l’écriture de l’article « Formal Methods in Industry » aux côtés d’auteurs éminents qui font figure de références majeures dans le domaine des méthodes formelles. Le texte relate l’expérience industrielle de CLEARSY sur la méthode B (https://www.atelierb.eu/en/presentation-of-the-b-method/) appliquée aux systèmes ferroviaires, un domaine où la rigueur formelle est hautement recommandée.
Les méthodes formelles sont des techniques mathématiques utilisées pour spécifier et vérifier rigoureusement des systèmes. Elles offrent des garanties de fiabilité bien supérieures aux tests classiques, leur adoption en industrie reste encore limitée aux systèmes ne tolérant aucune faute. Elles permettent de prouver mathématiquement qu’un système respecte certaines propriétés et elles peuvent être utilisées à toutes les étapes du développement, depuis les exigences et les principes de sécurité jusqu’à la validation finale. Les outils comme l’Atelier B de CLEARSY et le CLEARSY Data Solver illustrent leur mise en œuvre concrète.
Elles sont aujourd’hui employées dans de nombreux domaines, notamment les systèmes critiques comme l’aéronautique et le ferroviaire, mais aussi dans des secteurs plus larges. Les retours d’expérience montrent qu’elles améliorent la qualité et réduisent les erreurs, bien qu’elles nécessitent des compétences spécialisées.
Enfin, leur apprentissage développe des capacités essentielles comme le raisonnement rigoureux, et leur usage devrait continuer à se développer grâce à l’amélioration des outils et à leur intégration progressive dans les pratiques industrielles.
L’article complet est sur ce lien : https://dl.acm.org/doi/epdf/10.1145/3689374