SIGNAL+DRAHT | Issue 03/2006
Validierung des Bereichsdatencompilers (BDC) für die LZB L72 CE
Für das Zugsicherungssystem LZB-CE werden die Streckeneigenschaften in so genannte Bereichsdaten projektiert und nach einer Transformation mit der generischen LZB-Systemsoftware zu einem streckenspezifischen Steuerprogramm für die Zentralen der Bauform LZB L72 CE zusammengebunden. Der Bereichsdatencompiler (BDC) führt dabei eine sicherheitsrelevante Transformation der Bereichsdaten durch. Zur Validierung des BDC wurde ein diversitärer Ansatz mit vollständiger Automatisierung entwickelt und erfolgreich umgesetzt. Dieser Beitrag schildert Vorgehensweise und Erfahrungen bei der Validierung.