At the ABZ 2025 conference to be held from 10 to 13 June 2025 in Düsseldorf, CLEARSY will be presenting a keynote entitled “Mathematical Proofs and Moving Trains: The Double Life of Atelier B”. This will be an opportunity to explain all the developments that have taken place since the last keynote on the subject – that was at ABZ 2016 in Linz.
“For more than three decades, Atelier B has played a crucial role in ensuring the safety of critical systems. This keynote explores the recent evolution of Atelier B, from the last keynote in 2016 in Linz to its current expanded role in systems engineering across all industries. We will look back at key milestones, such as the modelling of complex systems, the development and programming of the CLEARSY Safety Platform and its use in the training of students and engineers. The session will also show how the versatility of Atelier B has been exploited to model, prove and implement robust systems – from automated metros to industrial control. Through these advances, Atelier B continues to shape the landscape of high-integrity software development, fusing mathematical rigour with practical real-world applications.”