Nach einer allgemeinen Betrachtung ueber Sicherheitsnachweise von Hardware und Software werden Sicherheitsnachweise fuer die elektronischen Stellwerke eroertert: Fehlerausschluss- und Fehlerabwehrmassnahmen bei der Planung, Fehleroffenbarungsmassnahmen (Anlagentest), Erfahrungen mit Software-Sicherheitsmassnahmen, Programmpruefung, Dokumentation der Pruefvorgaenge, rechnergestuetzte Sicherheitsnachweise fuer die Programmierungen elektronischer Stellwerke.
Der Sicherheitsnachweis fuer die Programmierung elektronischer Stellwerke
Safety testing for the programming of electronic signal cabins
Eisenbahntechnische Rundschau ; 36 , 11 ; 713-718
1987
6 Seiten, 15 Quellen
Aufsatz (Zeitschrift)
Deutsch
Lebensdauer elektronischer Stellwerke
Tema Archiv | 2006
|Die Zukunft Elektronischer Stellwerke
Tema Archiv | 1991
|Lebensdauer Elektronischer Stellwerke
IuD Bahn | 2006
|Verbesserung der Verfügbarkeit Elektronischer Stellwerke
IuD Bahn | 1997
|Verbesserung der Verfügbarkeit Elektronischer Stellwerke
Tema Archiv | 1997
|