Aufgrund vieler gefährlicher Unfälle in Zusammenhang mit technischen Systemen hat die Sicherheitsanalyse solcher Systeme stark an Bedeutung gewonnen. In diesem Beitrag werden neueste Ansätze zur Risikoabschätzung an einem aktuellen Beispiel aus der Verkehrsleittechnik vorgestellt. Die Erweiterung traditioneller Verfahren wie FTA mit formalen Methoden und Techniken der Statistik ist ein vielversprechender Ansatz. Damit können schon vor der Inbetriebnahme des Systems wichtige Aussagen über potenzielle Sicherheitsrisiken gemacht werden. Als Konsequenz können Designfehler früh erkannt und deshalb einfacher und billiger korrigiert werden.

    Safety and safety analysis have gained a lot of importance during the last years. This is - not only - because of many accidents in this time with critical, technical systems involved. In this contribution newest approaches for safety analysis and risk approximation are presented. A very promising approach appears to be the extension of traditional techniques of safety analysis with formal methods and statistics. This allows to identify many important safety properties of such systems, before they are built. In consequence design flaws are discovered at an early stage and may be corrected with acceptable effort. The approach is illustrated with an actual case study of the domain of traffic guidance.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Formale safety analysis: an application to the height control system of the Elbtunnel in Hamburg


    Beteiligte:
    Ortmeier, Frank (Autor:in) / Thums, Andreas (Autor:in) / Schellhorn, Gerhard (Autor:in) / Reif, Wolfgang (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2005


    Format / Umfang :

    8 Seiten, 7 Bilder, 10 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch





    Strassenverkehr 1986 - eine Sicherheitsanalyse

    Thoma,J. / Schweiz.Beratungsstelle f.Unfallverhuetung bfu,Bern,CH | Kraftfahrwesen | 1987




    Sicherheitsanalyse nach CENELEC

    Heilmann, A. / Braband, J. / Peters, H. | Tema Archiv | 1998