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.
Deriving safety-critical system specification through requirements engineering
Die Herleitung sicherheitskritischer Systemspezifikation aus der Entwicklung des Anforderungskataloge
Quarterly Report of RTRI ; 39 , 4 ; 198-202
1998-01-01
5 pages
Article (Journal)
English
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Deriving Safety-critical System Specifications through Requirements Engineering Process
British Library Online Contents | 1998
|PAPERS - Deriving Safety-critical System Specifications through Requirements Engineering Process
Online Contents | 1998
|APOLLO : system requirements specification
TIBKAT | 1984
ETCS system requirements specification (SRS)
SLUB | 1996