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
When replacing relay interlockings, most conversations start with technology. The better starting point is governance: how do you make sure you can still change parts of the system 20 years from now? We look at what Open Signaling means in practice, and how our Stockholm Metro pilot was designed for replaceability from day one.
Prover, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
Generative AI has entered railway software engineering ahead of the standards governing it. A new CENELEC draft amendment to EN 50716 doesn't add requirements. It clarifies which existing rules apply when AI drafts specs, writes code, or generates test cases, and why those rules are harder to satisfy with generative models than teams might assume.
+46 (0)8 617 68 00