Project Description


Developing rail control software
with digital twins and
signaling design automation

Watch our recorded webinar on the 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.

In this webinar, we 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.


1. The concept of SDA and why we need it

2. Benefits for Infrastructure Managers and suppliers in using SDA

3. Using digital twins in developing and maintaining requirement specifications

4. A demonstration of SDA with Prover iLock

5. Recommendations and considerations when introducing SDA

Length: approx. 1 hour

Fill out the form and we will send a link to the recorded version in an email.