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. In this video 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

Watch our demonstration by filling out the form!