Loading Events

« All Events

  • This event has passed.

SDA Forum 2022

18th October 2022

SDA Forum 2022
Stockholm, Sweden


Let’s meet on October 18 to discuss the use of digital twins within signaling!

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.


18th October 2022





450,000+ page views per month
73,000+ newsletter subscribers
Adverts from £1,000 per year
News stories from £100

Rail Business Daily’s market leading news and profile enhancement services enable your business to tell your story to the wider rail community. Engage with thousands of readers via our rail news platforms, including the hugely popular 7am newsletter, rail news website and Rail Director magazine. If you want to do more work in rail, Rail Business Daily is the place to be.


RailBusinessDaily is an asset owned by the Railway Industry Association, Company no: 10036044. Registered in England and Wales. Copyright RailBusinessDaily 2023. All Rights Reserved.