SIGNAL+DRAHT | Issue 05/2024
The development of the specifications for control and safety technology using digital twins
Driving the digital transformation forward is the key to fulfilling the requirements for efficient rail transport. The introduction of new fundamental technologies such as digital twins constitutes an important enabler for this. In this article, we look at how the specification phase of rail control projects can be improved through the use of formal methods and the digital twin. Costly mistakes can be avoided and successful automation projects can ultimately be realised if the specifications are drawn up correctly from the outset, i.e....