Validierung des Bereichsdatencompilers (BDC) für die LZB L72 CE

You are here: Homepage > Search

Validierung des Bereichsdatencompilers (BDC) für die LZB L72 CE

Holzmüller, Bernd / Hofmann, Thomas / Renninger, Gerd

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.

For the train control system LZB-CE, track characteristics are defined in so called 'track data files', which are linked together with the generic LZB control software resulting in a site specific control program for LZB L72 CE central units. The 'track data compiler' (BDC) therefore performs a safety-related transformation of these track data. To validate the track data compiler the authors developed and successfully used a fully automated approach on the basis of a second, diversely developed track data compiler. In this paper, the authors present this approach and the experiences.