Case study: Automating data preparation for rail control systems

How automation and formal verification improve quality, efficiency, and safety

Live on April 14 at 15:00 CEST

Data preparation is one of the most time-consuming and error-prone parts of any rail control project. Generating, testing, and verifying the application data that configures a safety-critical system often requires extensive manual work, yet this phase rarely gets the attention it deserves.

In practice, a large share of project risk sits in the configuration data. While the generic application is designed to ensure system safety, errors in application data can still have major consequences. Too often, those errors are detected late in the project, when the cost of correction is higher, and the impact on delivery is greater.

In this webinar, we share how Signaling Design Automation and formal verification can transform data preparation across different rail control architectures, including CBTC, ERTMS, interlocking, and train protection systems. Through real-world use cases, we show how automation can reduce manual effort, improve data quality, and support safer, more efficient project delivery.

You’ll get a practical view of how Prover’s solutions are used by BHEPL to automate data preparation for KAVACH, India’s Automatic Train Protection system, and to verify engineering rules for ERTMS data, as well as what these experiences mean for future rail projects.