Project Description


Modeling rail control systems
with digital twins

Development of a digital twin for Stockholm Metro

Rail control systems are complex, have long life cycles, and often come with a legacy. When replacing, upgrading, and maintaining your system it is important to understand both how the current system works and how you want your future system to work. It is also critical that your supplier shares this understanding.

Creating a digital twin, or model, of your existing system can help you get this understanding, and doing it in a formal way will help formulate a clear and concise requirement specification for the procurement, development, and maintenance of a new system.

In this webinar, we look at how a combination of formal methods, digital twins, and Signaling Design Automation can help with this.

This is illustrated with a demonstration of a digital twin developed for the Stockholm Metro, and we discuss how this digital twin has simplified the preparation for tendering a new traffic management system.


1. What is a digital twin and why you need one

2. Formal models and specifications in a digital twin context

3. Demonstration: Development of a digital twin for Stockholm Metro

4. Lessons learned from the Stockholm Metro project

3. Questions & Answers

Length: approx. 1 hour

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