Demonstration of an Interlocking Design Automation solution

Demonstration of an Interlocking Design Automation solution

Prover wants to show you how you can manage interlocking design safely and efficiently by using modern methodologies and tools. We have created a demo that will show how to use a modern Interlocking Design Automation solution, i.e. Prover Trident.
During the demonstration we walk you through how to create an interlocking application software using automatic generation of code and how to formally verify that the generated code meets the safety requirements, as well as much more.

Our webinar will go through: Introduction, configuration of a new interlocking, interactive and scripted simulation of the resulting signaling system, and automatic generation of code for the interlocking, formal verification of the generated code and recommendations for next steps.
If you are interested and want to learn more about how to do code generation, simulation and formal verification you can sign up to our next webinar here.

A video showing this demo is now available in Chinese, if you want to watch it you can find it here. 
By | 2017-05-19T12:48:08+00:00 May 19th, 2017|Signaling Solutions|

By continuing to use the site, you agree to the use of cookies. More information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. To find out more, visit http://www.prover.com/privacy-cookie-policy/

Close