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.
After the great success of SDA Forum 2018 and 2019 with attendees from leading infrastructure managers, suppliers, engineering firms and leading universities we invite you to join our SDA Forum 2021.
We are delighted to have confirmed speakers from RATP (Paris Metro), Hitachi Rail and Alstom, who will be sharing experiences and best practices of applying formal methods in the Rail Control domain. The full agenda will be available shortly.