Signaling Design Automation Forum

The SDA Forum invites signaling and safety management representatives to stimulate collaboration, drive standards, and to assist implementation strategies for design automation and formal verification in railways. Professionals working on other safety critical systems such as automotive and aviation would benefit to attend as well, and are warmly welcome to join.

This year, 2023, we will meet up in Paris. The focus will be on using Formal Methods and Digital Twins to automate simulation, safety verification and design automation of safety critical signaling systems. Prover pioneered the use of formal methods in railway signaling during the 90s. This in fact was an early use of digital twins to describe properties of systems, i.e. create a digital model of systems. Since then, the digital twin concept has been expanded with formal models as the basis for specification and development of systems.

We expect recent progress within AI to play an increasing role in supporting faster and more cost efficient development of signaling software with assured safety. Hear about how these technologies are being used by leading infrastructure managers and suppliers in our industry.

Join us as industry leaders from Alstom, Hitachi, Stellantis, and RATP, among others, take the stage to share their insights and expertise.