Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you!
The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems.
The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world will share experiences, best practices and state of the art use of technologies and methodologies.
Speakers from RATP, NYCT, SL (Stockholm Metro), Siemens and Ansaldo STS will be there to share their best practices and experiences on Formal Methods and Design Automation. Listen to and meet with these leading suppliers and infrastructure managers at Signaling Design Automation Forum 2018.
Date: 15th of May 2018
Venue: Clarion Hotel Sign in Stockholm, Sweden.
Cost: € 149 + Swedish VAT due to VAT regulations for events.
Share this article
Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
EULYNX standardizes rail signaling interfaces, but not the assurance behind them. Here's how formal methods close that gap, with exhaustive proof, generated test suites, and verified wrappers.
AI makes formal verification more important, not less. See why AI-assisted engineering needs mathematical proof, not just testing, to stay safety-critical.
