The future of interlocking design automation for the modern railroad
Supported by:
26 September 2017
Supported by:
26 September 2017
ABOUT THIS WEBINAR
Interlocking design needs to be modernised for Infrastructure Managers and Suppliers to be able to meet current and future demand. A modern solution needs to be based on formal methods and automation. This will increase speed, safety and drive down cost for development and maintenance significantly.
During this webinar Prover Technology AB discuss:
- Root causes for why current IMs are struggling with safety and development of signalling systems
- Principles and Demonstration of a modern solution
- Present customer implementation
- A business case for investing in a modern interlocking design automation solution
Speakers
KEYNOTE SPEAKERS
Daniel Fredholm, Senior Consultant, Prover Technology AB
Mr. Fredholm has a PhD in mathematics from Stockholm University. Working at Prover since 2005, with and around formal verification, including developing methodologies for formal specification and verification.
Jesper Carlström, VP Project Delivery, Prover Technology AB
Mr. Carlström has a PhD in mathematics from Stockholm University. Working with Prover since 2008, with formal verification, formal specification and Python programming. He is now VP Project Delivery.
Register
Register to watch this on-demand webinar
Related topics
Infrastructure Developments, Safety, Signalling, Control & Communications
