Signaling Design Automation Forum 2019 – Safety Assurance

Learn from and Network with Railway Signaling Peers – SDA Forum in Shanghai
Register today

Safety Assurance by Formal Verification and More

The SDA Forum is the event to embrace the latest evolutions of formal verification and design automation – software technologies to automate verification and design for railway signaling systems.

The SDA Forum invites signaling professionals to be inspired, learn, drive standards and to assist implementation strategies for formal verification and design automation in railways. Professionals working on other safety critical systems such as automotive and smart contracts are all welcome to join too.

SDA Forum 2018 in Stockholm was a great success with attendees from leading infrastructure managers, suppliers and engineering firms from all over the world. We will host this year´s SDA Forum in Shanghai, in the dynamic railway market of China.

Join us at SDA Forum November 6 in Shanghai!

Agenda for 2019

Video from the 2018 event. Music by:


Anders Lindén

CEO, Prover

Jesper Carlström

VP Engineering, Prover

Daniel Fredholm

Technical Director China, Prover

Register today!

Register here