SIGNAL+DRAHT | Issue 05/2024
Dear readers, in the current issue of SIGNAL+DRAHT, we look at innovative
Dear readers, in the current issue of SIGNAL+DRAHT, we look at innovative concepts and process models in information technology, used for applications in rail transport. In the first article, we look at how the specification phase of control and safety technology projects can be improved through the use of formal methods and the digital twin. Time and again, additional costs and project delays occur in control and safety technology projects due to unclear specifications. Formal methods in combination with a digital twin can provide more clarity in the requirements....