SIGNAL+DRAHT | Ausgabe 09/2025
Formalisation as a success factor for ERTMS Level 2 verification
The Swiss Federal Office of Transport (FOT) has published the strategy for the nationwide rollout of European Rail Traffic Management System (ERTMS) in 2023. Manual verification of ERTMS systems is increasingly proving to be extremely time-consuming and error-prone due to the large volume of data and system complexity. Extensive automation of the verification process is necessary so as to manage the planned rollout and minimise any error sources. This article describes some important experience gained from a digitalisation program in this area...