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 will look at how a combination of formal methods, digital twins, and Signaling Design Automation can help with this.