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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Deriving safety-critical system specification through requirements engineering


    Additional title:

    Die Herleitung sicherheitskritischer Systemspezifikation aus der Entwicklung des Anforderungskataloge



    Published in:

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


    Publication date :

    1998-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English