Signaling Design Automation Forum 2019 – Safety Assurance
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!
Video from the 2018 event. Music by: www.bensound.com
VP Engineering, Prover
Technical Director China, Prover