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.