SIGNAL+DRAHT | Issue 03/2014
SAT.valid: Tool-supported verification and validation of ETCS implementations
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.