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

Speakers

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.

Register

Register to watch this on-demand webinar

    To watch this webinar on-demand, please complete the form below. By clicking submit you confirm that you accept our terms and conditions and privacy policy.


    *


    *


    *


    *


    *


    *


    *


    *

    This content is provided to you for free thanks to the kind support of our sponsor: Prover

    Leave a Reply

    Your email address will not be published. Required fields are marked *