Project Description


Developing rail control software
based on digital twins and
signaling design automation

Using a formal development process

In the delivery of rail control projects, a key challenge is to fully understand the customer requirements and to deliver a system that meets these requirements in a timely manner. Moreover, it must be possible to maintain and upgrade the system throughout its lifetime, which is often expected to be at least 20 years. 

During this webinar we will focus on how these challenges can be addressed in the delivery of rail control software, using a formal development process we call Signaling Design Automation (SDA).

The development effort is focused on the requirement phase and the design of a digital twin. The development can then be automated with tools for code generation, simulation-based testing, and formal safety verification. 

The life cycle aspects are addressed already in the specifications, by introducing open interfaces and standard components, which reduces the costs related to obsolescence.

We will cover:

  • The concept of SDA and why we need it
  • Benefits for Infrastructure Managers and suppliers in using SDA
  • Using digital twins in developing and maintaining requirement specifications
  • A demonstration of SDA with Prover iLock
  • Recommendations and considerations when introducing SDA

Register for our webinar on May 25, 15:00 – 16:00 CET by submitting the form