Ein sicherungstechnisches Computersystem muß so projektiert werden, daß infolge irgendeiner Hardwarebeschädigung oder Informationsfehldeutung keine für den Zugverkehr gefährliche Situation entstehen kann. Vorgestellt werden die Ergebnisse einer Sicherheitsanalyse von zwei unter Anwendung von Computertechnik realisierter sicherungstechnischer Systeme: automatischer Streckenblock Typ FELB von NTK DEDICOM (Dänemark) und Betriebssteuersytem für kleine Bahnhöfe OSA-H von KZA Krakau. Die Analyse bestätigte die Sicherheit beider Systeme, die zum Probebetrieb bei den PKP zugelassen wurden.
Weryfikacja dowodu bezpieczenstwa programowalnych systemów sterowania ruchem kolejowym
Verifikation des Sicherheitsdokumentes programmierbarerSysteme der Eisenbahnsicherungstechnik
Przeglad Kolejowy ; 5 ; 16-22
1996-01-01
7 pages
Article (Journal)
Polish
© Metadata Copyright Deutsche Bahn AG. All rights reserved.