Project Description

WHITE PAPER

The Business Case for Interlocking Design Automation

How to build the business case for an investment in a new process for Interlocking Design Automation

This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern Interlocking Design Automation process. A state of the art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.

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 formalized specifications and automation tools.

Experience shows that using a modern Interlocking Design Automation process you will significantly:

  • Reduce time to market
  • Reduce life cycle costs to half
  • Greatly simplify the safety assessment process.

Here you can download more information about IDeA and Prover’s implementation of this concept, Prover Trident.

Download our White Paper by filling out the form.