Signaling Design Automation Forum

The SDA Forum 2025 will take place on October 1, in Stockholm.

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!

The theme for SDA Forum 2025 is open signaling and AI. A reflection of the growing interest in more open, flexible approaches to railway signaling, and the potential role of artificial intelligence in shaping the future of our field.

We will explore how open standards and architectures can support innovation, collaboration, and interoperability in signaling systems. In parallel, we’ll look at emerging AI technologies and their potential to enhance analysis, automation, and decision-making processes in railway projects.

As always, SDA Forum will also include sessions on the core areas that form the foundation of our work at Prover, such as formal methods and signaling design automation.

Together, these topics form a broad but focused agenda that supports knowledge sharing and discussion across teams and disciplines.