webinar

The future of interlocking design automation for the modern railroad

Supported by:

26 September 2017

Supported by:

26 September 2017

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

KEYNOTE SPEAKERS

Daniel Fredholm, Senior Consultant, Prover Technology ABDaniel 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 ABJesper 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.

Send this to a friend