Bei der Analyse, Planung oder der Überprüfung (dem Nachweis) der Sicherheitsintegrität eines sicherheitsrelevanten Systems spielt die Darstellung der Argumente und der Erläuterungen eine wesentliche Rolle. Um eine inhaltlich vollständige und korrekte Argumentation zu präsentieren, wurde die Goal Structuring Notation (GSN) konzipiert. Mit deren Hilfe lassen sich Argumentationen, wie für Sicherheitsnachweise, übersichtlich und präzise darstellen. Im Beitrag wird zunächst der Aufbau der GSN (die Elemente der GSN) erläutert. Der Zweck einer Goal Structure ist es zu zeigen, wie ein Ziel (Goal) in Teilziele verfeinert wird, um schließlich durch konkrete Belege (Solutions) untermauert zu werden, wobei die Argumentationsstrategie (Strategy) explizit dargestellt wird und Annahmen (Assumptions) und Begründungen (Justifications) im Rahmen der Argumentation ebenso erläutert werden, wie der Kontext (Context), in dem die Ziele gelten. Der Ersteller einer Argumentation kann mit Hilfe der verschiedenen Elementtypen der GSN unterschiedliche Arten von Argumenten klar kennzeichnen und außerdem das eigene argumentative Vorgehen explizit erläutern. So lassen sich Sicherheitsargumentationen besser nachvollziehen und leichter überprüfen. Weiter werden die Anwendung der GSN (Erstellen der Goal Structure, typische Argumentationen, Anwendung im Life-Cycle), das GSN Modellierungswerkzeug sowie die praktischen Erfahrungen beschrieben.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Strukturierte Nachweisführung beim Safety Management


    Weitere Titelangaben:

    Structured arguments for safety management



    Erschienen in:

    Signal+Draht ; 106 , 1+2 ; 24-28


    Erscheinungsdatum :

    2014-01-01


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch





    Nachweisführung zur Strukturmechanik

    Steinert, W. | Tema Archiv | 2000



    Kontrollbuch zur Nachweisführung der Flugausbildung

    Lohmann, Werner ;Blaha, Friedrich | SLUB | 1973