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.