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
We are seeking an Office Coordinator to our Stockholm office.
The Office Coordinator plays a key role in ensuring that our office operates efficiently and in line with Prover’s standards of professionalism and quality. The role combines office management with broad administrative support to management and staff.
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
