SIGNAL+DRAHT | Ausgabe 03/2014

SAT.valid: Tool-supported verification and validation of ETCS implementations

März 2014 | Benedikt Wenzel, Günther Koch, Jörg Schütte

A new tool has been developed within the research project SAT.valid in order to support the final validation and upstream verification tasks of ETCS trackside equipment. SAT.valid is based on the globally-applied SAT.engine tool, which dynamically measures distances between trackside elements with metre accuracy during measuring runs. The newly developed testing tool SAT.valid also records ETCS messages and checks balise positions and telegrams against the engineering plans/design. Furthermore, the telegram content, especially the movement authority data, is verified to be consistent with the measured distances, while another module checks the data against design rules.