Signaling Design Automation Forum
Signaling Design Automation Forum
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.
Event
Welcome to be part of transforming rail transportation of tomorrow.
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.
Event host

Anders Lindén
CEO Prover
”We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us this year!”

Book your seat by filling out the form.
Your registration will be confirmed by email.
Booking information
Date and time
October 17, 2023
Onsite: Registration starts at 08:30 CET, the event starts at 09:00 CET and ends at 17:00 CET.
17.30-19.30 Aperitif and Networking
19.30-ca 22.00 Dinner
Online: The stream for our online participants will begin at 09:00 CET and ends at 17:00 CET.
Investment
The event is free of charge for onsite and online participation.*
* Please note that while the event itself is free of charge, Prover does not cover accommodation and travel expenses for attendees.
Venue
Mercure Paris Centre Tour Eiffel,
20, rue Jean Rey, 75015
Paris, France.
Link to Google Maps
Contact Person
Should you have any questions or require further assistance, please do not hesitate to contact our event team.
Julie Delouche: julie.delouche@prover.com
Amanda Öberg: amanda.oberg@prover.com
News
Latest news, stories and upcoming events from the railway industry.
Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.