SIGNAL+DRAHT | Ausgabe 09/2014
Formalisation of test procedures for a high level of automation
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.