Developing an Interlocking Design Automation System
Creating a new rail control system is a complex undertaking that involves many subsystems that...
Interlocking Design Automation (IDeA)
This white paper outlines what the challenges and their root causes are in procurement and delivery of modern rail control, and suggests best practice methods for how to overcome these challenges using Interlocking Design Automation (IDeA).
Download to find out more.
More About This Company
Building a Business Case for Interlocking Design Automation Systems
Prover has compiled this document in order to help rail control system developers devise an...
What’s the Point of Formal Methods?
Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way...