Das Ziel der dargestellten Bemühungen ist es, neben der Sicherheit eines Systems dessen optimale Funktion sicherzustellen, was bei einem rein formalen Ansatz der Überlegungen nicht gewährleistet ist. Die vorgeschlagene Vorgehensweise wird am Fall der Bahnübergangssicherung gezeigt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Deriving safety-critical system specification through requirements engineering


    Weitere Titelangaben:

    Die Herleitung sicherheitskritischer Systemspezifikation aus der Entwicklung des Anforderungskataloge


    Beteiligte:

    Erschienen in:

    Quarterly Report of RTRI ; 39 , 4 ; 198-202


    Erscheinungsdatum :

    1998-01-01


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch