Signaling Design Automation Forum
Signaling Design Automation Forum
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.
Event
Welcome to be part of transforming rail transportation of tomorrow.
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 within signaling!
Event host
Anders Lindén
CEO Prover
”We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us this year!”
The event for 2024 is not yet set.
Please leave your contact information for updates.
Thank you for participating in our previous events!
Earlier events:
2023 October, 17 SDA Forum Paris
2022 October 18, SDA Forum Stockholm
2021 November 16, SDA Forum Paris
2019 November 6, SDA Forum Shanghai
2018 May 15, SDA Forum Stockholm
SDAF 2023 Paris
SDAF 2022 Stockholm
SDAF 2021 Paris
SDAF 2019 Shanghai
SDAF 2018 Stockholm
News
Latest news, stories and upcoming events from the railway industry.
Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.
+46 (0)8 617 68 00