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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Weryfikacja dowodu bezpieczenstwa programowalnych systemów sterowania ruchem kolejowym


    Additional title:

    Verifikation des Sicherheitsdokumentes programmierbarerSysteme der Eisenbahnsicherungstechnik



    Published in:

    Publication date :

    1996-01-01


    Size :

    7 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Polish