Demonstration of an Interlocking Design Automation Solution
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.
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