Creating a new rail control system is a complex undertaking that involves many subsystems that require integrating and adapting to suit the unique requirements of the particular rail network.
One key component of the overall system is the software controlling and monitoring the rail traffic using physical signals, switches, automated train control and protection, to ensure safe operation.
This vital software is the brain of the rail control system and is often surprisingly difficult to develop and achieve safety approval for, resulting in delays and complications in the commissioning phase of the project.
This document outlines a process that avoids many of the problems associated with this kind of undertaking and offers significant benefits for both the supplier and the infrastructure manager.
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...
Interlocking Design Automation (IDeA)
This white paper outlines what the challenges and their root causes are in procurement and...