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.

Our intention was to gather signaling professionals from the railway industry as well as related safety critical industries to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. Especially focusing on Safety Assurance by Formal Verification.

Read more about the SDA Forum 2019 here – A summary of the Signaling Design Automation Forum 2019

Agenda for 2019

Video from the 2019 event.