Es wurde eine Sicherheitsanalyse auf der formalen Modellierung der funkbasierten Bahnübergangssteuerung durchgeführt. Bewertet man die Eignung der Analysemethoden FMEA und FTA für die Analyse softwarebasierter Systeme, so hat diese Studie gezeigt, daß sich beide Methoden hervorragend dafür eignen. Es wurden einige Schwächen der funkbasierten Bahnübergangssteuerung aufgedeckt (und behoben). Zusätzlich verschaffen diese Methoden ein gutes Verständnis für die Modellierung und halfen damit diejenigen Stellen zu lokalisieren, deren Änderung für ein sicheres Funktionieren der funkbasierten Bahnübergangssteuerung notwendig sind. Es hat sich aber auch gezeigt, daß die Sicherheitsanalyse eine gründlichere Fundierung benötigt, als sie in den informellen Ansätzen besitzt. Als Beispiel sei ein Und-Gatter eines Fehlerbaumes angegeben. Bedeutet dies, daß die Ursachen zusammen oder nur in irgendeiner Reihenfolge auftreten müssen, um die Wirkung hervorzurufen? Wenn die Ursachen vorhanden sind, zeigt sich dann die Wirkung gleichzeitig oder besteht eine zeitliche Ursache-Wirkung Beziehung? Diese Betrachtung führte zu einer Formalisierung der Fehlerbaumanalyse, in der die Ursache-Wirkung Beziehungen durch temporal-logische Bedingungen beschrieben sind. Diese Formalierung gestattet es nun nachzuweisen, daß die Fehleranalyse korrekt durchgeführt wurde und alle Ursachen vollständig abgedeckt wurden. Kann man zusätzlich für jedes minimale Cut Set nachweisen, daß mindestens ein Ereignis in der Modellierung ausgeschlossen ist, so hat man gezeigt, daß die untersuchte Gefahr durch die Modellierung ausgeschlossen ist.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung


    Contributors:
    Reif, W. (author) / Schellhorn, G. (author)


    Publication date :

    2000


    Size :

    13 Seiten, 6 Bilder, 2 Tabellen, 13 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Formale Sicherheitsanalyse: Eine Anwendungsfallstudie - das Höhenkontrollsystem des Elbtunnels in Hamburg

    Ortmeier, Frank / Thums, Andreas / Schellhorn, Gerhard et al. | Tema Archive | 2005


    Zugfahrten in funkbasierten Betriebsverfahren

    Arm, Jan-Christian / Wegel, Helmut | IuD Bahn | 1998


    VERFAHREN ZUM BETREIBEN EINER PASSIVEN FUNKBASIERTEN SCHLIESSVORRICHTUNG UND PASSIVE FUNKBASIERTE SCHLIESSVORRICHTUNG

    SCHOULA RALF / BRÜCKNER CLAUS-PETER | European Patent Office | 2020

    Free access

    Verfahren zum Betreiben einer passiven funkbasierten Schließvorrichtung und passive funkbasierte Schließvorrichtung

    SCHOULA RALF / BRÜCKNER CLAUS-PETER | European Patent Office | 2018

    Free access