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.