SDA Forum 2022
Stockholm, Sweden

Signaling Design Automation Forum

The SDA Forum is the event to embrace the latest evolutions of design automation and formal verification – software technologies to automate design and verification of railway signaling systems. The SDA Forum invites signaling management representatives to foster 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.

Edition 2022, in Stockholm, will focus on digital twins for signaling systems and specifications. Prover pioneered the use of formal methods in railway signaling during the 90s. This is in fact an early use of digital twins to describe properties of systems. Since then, the digital twins concept has been expanded with formal models as the basis for specification and development of systems-of-systems.

Let’s meet on October 18 to discuss the use of digital twins within signaling!

Video from the 2021 event.


Time schedule

8.30-9.00 Registration

12.30-14.00 Lunch

17.30 Apperitif and Networking

19.30 Dinner


Digital twin process at Alstom
Guillaume Davy – Formal verification expert

Digital Twins and Automation
Prof Andy Doherty, CTO GCRE, former CTO Network Rail

Metro Digital twin
Andreas Mårtensson, Trafikförvaltningen

Highering the Level of Formal Verification – Applied to Vital CBTC Functions
Yoann Fonteneau, Prover & RATP online

Accelerating Innovative Mobility (the AIM project)
Gunnar Smith, Prover & NYCT online

Booking Information

Date & Time

October 17 – informal drink from 7 pm at the hotel roof top bar.
October 18 – all day event with dinner (registering 8.30 – ending with dinner at 19:30)

The stream for our online participants starts at 9.00 CET


This event costs 450 SEK/person excl. VAT. Online participation is free of charge.


Downtown Camper

Brunkebergstorg 9,
103 27 Stockholm – Sweden

Contact Person

If you have any questions concerning the event. please contact Ida George at Prover:

Want to join us at
SDA Forum 2022?

Request a seat by filling out the form.
Your booking will be confirmed by email.