Demonstration of an
Interlocking Design Automation Solution

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