SDA Forum 2023

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 and safety management representatives to stimulate 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.

This year, 2023, we will meet up in Paris. The focus will be on using Formal Methods and Digital Twins to automate simulation, safety verification and design automation of safety critical signaling systems. Prover pioneered the use of formal methods in railway signaling during the 90s. This in fact was an early use of digital twins to describe properties of systems, i.e. create a digital model of systems. Since then, the digital twin concept has been expanded with formal models as the basis for specification and development of systems.

We expect recent progress within AI to play an increasing role in supporting faster and more cost efficient development of signaling software with assured safety. Hear about how these technologies are being used by leading infrastructure managers and suppliers in our industry.

Join us as industry leaders from Alstom, Hitachi, Stellantis, and RATP, among others, take the stage to share their insights and expertise.

Event host
Anders Lindén Prover

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!”

0
0
0
0
Days
0
0
Hrs
0
0
Min
0
0
Sec

Book your seat by filling out the form.
Your registration will be confirmed by email.

Booking information

Date and time
October 17, 2023

Onsite: Registration starts at 08:30 CET, the event starts at 09:00 CET and ends at 17:00 CET.

17.30-19.30 Aperitif and Networking
19.30-ca 22.00 Dinner

Online: The stream for our online participants will begin at 09:00 CET and ends at 17:00 CET.

Investment
The event is free of charge for onsite and online participation.*

* Please note that while the event itself is free of charge, Prover does not cover accommodation and travel expenses for attendees.

Venue
Mercure Paris Centre Tour Eiffel,
20, rue Jean Rey, 75015
Paris, France.
Link to Google Maps

Contact Person
Should you have any questions or require further assistance, please do not hesitate to contact our event team.

Julie Delouche: julie.delouche@prover.com
Amanda Öberg: amanda.oberg@prover.com

Thank you for participating in our previous events!

Earlier events:

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 2022 Stockholm

SDAF 2022 Stockholm

SDAF 2021 Paris

SDAF 2021 Paris

SDAF 2019 Shanghai

SDAF 2019 Shanghai

SDAF 2018 Stockholm

SDAF 2018 Stockholm

News

Latest news, stories and upcoming events from the railway industry.