Project Description


Demonstration of an
Interlocking Design Automation Solution

Learn how to do code generation, simulation, and formal verification

Interlocking design can be done efficiently, with guaranteed safety using modern tools and methodologies. During this webinar we will demonstrate how to use a modern Interlocking Design Automation solution. The demonstration is based on Prover Trident.

During the demonstration you will learn:

  • How to create an interlocking application software using automatic generation of code
  • How to investigate the resulting logic using simulation tools
  • How to formally verify that the generated code meets the safety requirements

These are the steps that we will go through:

  • Introduction
  • Configuration of a new interlocking
  • Interactive and scripted simulation of the resulting signaling system
  • Automatic generation of code for the interlocking
  • Formal verification of the generated code
  • Recommendations for next steps

Register for our Webinar on the 19th of September 15:00 – 16:00 CEST  by filling out the form