Developing an Interlocking Design Automation System
Creating a new rail control system is a complex undertaking that involves many subsystems that...
Building a Business Case for Interlocking Design Automation Systems
Prover has compiled this document in order to help rail control system developers devise an engaging business case for investing in advanced Interlocking Design Automation solutions.
To be able to present a business case, we compare traditional methods for developing signalling applications with a state of the art process based on formalised specifications and automation tools.
Experience shows that using a modern Interlocking Design Automation process you will significantly reduce time to market, reduce lifecycle costs to half, and greatly simplify the safety assessment process.
Download out free white paper for more information.
More About This Company
What’s the Point of Formal Methods?
Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way...
Interlocking Design Automation (IDeA)
This white paper outlines what the challenges and their root causes are in procurement and...