A l’occasion de la conférence ABZ 2025 qui aura lieu du 10 au 13 Juin 2025 à Düsseldorf, CLEARSY présentera un keynote intitulé « Mathematical Proofs and Moving Trains: The Double Life of Atelier B ». Ce sera l’occasion d’expliquer toutes les évolutions intervenues depuis le dernier keynote sur le sujet – c’était pour ABZ 2016 à Linz.
« Depuis plus de trois décennies, l’Atelier B joue un rôle crucial dans la garantie de la sécurité des systèmes critiques. Ce keynote explore l’évolution récente de l’Atelier B, depuis la dernière keynote en 2016 à Linz jusqu’à son rôle actuel, élargi à l’ingénierie des systèmes dans toutes les industries. Nous reviendrons sur les étapes clés, telles que la modélisation de systèmes complexes, le développement et la programmation de la CLEARSY Safety Platform et son utilisation dans la formation des étudiants et des ingénieurs. La session montrera également comment la polyvalence de l’Atelier B a été exploitée pour modéliser, prouver et mettre en œuvre des systèmes robustes – des métros automatisés au contrôle industriel. Grâce à ces avancées, l’Atelier B continue de façonner le paysage du développement de logiciels à haute intégrité, en fusionnant la rigueur mathématique et les applications pratiques du monde réel ».