SIGNAL+DRAHT | Ausgabe 09/2014

Formalisation of test procedures for a high level of automation

September 2014 | Hardi Hungar, Karsten Lemmer, Lennart Asbach, Michael Hörste

This article presents an approach to optimize test processes of rail control system which is pursued at the German Aerospace Center (DLR). Efficiency gains through the automation of tests are demonstrated on an example of testing an ETCS component. In addition, methods for reducing the effort needed for defining tests are discussed.