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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung


    Beteiligte:
    Reif, W. (Autor:in) / Schellhorn, G. (Autor:in)


    Erscheinungsdatum :

    2000


    Format / Umfang :

    13 Seiten, 6 Bilder, 2 Tabellen, 13 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




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

    Ortmeier, Frank / Thums, Andreas / Schellhorn, Gerhard et al. | Tema Archiv | 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 | Europäisches Patentamt | 2020

    Freier Zugriff

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

    SCHOULA RALF / BRÜCKNER CLAUS-PETER | Europäisches Patentamt | 2018

    Freier Zugriff