The future of interlocking design automation for the modern railroad
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
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.