Interlocking Design Automation

A more cost-efficient, safe and reliable concept for interlocking solutions for the future

Current Signaling Solutions

Cost of change

Most interlocking system projects today are developed with the following characteristics:

  • Errors are found late
  • Late changes are costly
  • Schedules to deliver interlocking software are long and unpredictable

Root causes

The root causes for these problems include:

  • Vague and imprecise requirements
  • Design, test and safety assessment is based on repetitive and manual work, and requiring senior skills
  • Lack of standard interfaces

Main principles of interlocking design automation

To deliver the cost-efficiency that future railroads need, a new solution for interlocking design automation is needed, based on useful requirements that need to:

  • Be precise, to enable automated development
  • Separate safety and test principles, to enable 100% coverage proof of safety and automated functional test
  • Use standard interfaces where possible, to make it cost-efficient to replace individual sub systems

The process for interlocking design automation

The modern interlocking design automation process needs to start with the following step:

  • Gather and analyze requirements, applicable standards, interfaces, rules & regulations and scope
  • Determine the system’s principles
  • Determine how configuration of principles is to be done for individual systems

Based on the above, the next step is to define the principles as a formal specification library, with:

  • The object model defining the underlying ideas and objects, along with their properties and relations
  • Separation of design, test and safety principles, based on the object model
  • Configuration of individual systems, to apply the principles

With the above two steps completed, the concept of interlocking design automation can be realized using modern software tools:

  • Automated generation of design and revenue service code based on (reusable) principles
  • 100% coverage proof of safety and automated functional test of each system developed
  • Efficient support for change in principles and requirements

Our Solutions

Meeting the higher demands for capacity is a major challenge for the railway industry. The ability to deliver rail infrastructure both fast and cost-efficiently is a critical success factor. Our solutions are developed for today’s complex digital train control.

Find out more

Prover Trident

Prover Trident is a complete process and tool suite for interlocking design automation. Unlike other point tools, Prover Trident covers the whole life-cycle for interlocking software.

Find out more

WP – Interlocking Design Automation

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 them.

Find out more