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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Weryfikacja dowodu bezpieczenstwa programowalnych systemów sterowania ruchem kolejowym


    Weitere Titelangaben:

    Verifikation des Sicherheitsdokumentes programmierbarerSysteme der Eisenbahnsicherungstechnik



    Erschienen in:

    Erscheinungsdatum :

    1996-01-01


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Polnisch