Analytical methodology for safety validation of computer controlled subsystems. Volume 1 : state-of-the-art and assessment of safety verification/validation methodologies
-
1995-09-01
-
By Luedeke, J F
Details:
-
Creators:
-
Corporate Creators:
-
Subject/TRT Terms:
-
Publication/ Report Number:
-
Resource Type:
-
Edition:Final report
-
Corporate Publisher:
-
Abstract:This report describes the development of a methodology designed to assure that a sufficiently high level of safety is achieved and maintained in computer-based systems which perform safety critical functions in high-speed rail or magnetic levitation transportation systems. This report consists of two volumes. This, the first, presents a glossary of relevant computer technology terminology to assure consistency of use and understanding. A state-of-the-art review of safety verification and validation processes worldwide is presented. Following the review, the processes are assessed relative to their degree of assured safety as well as their potential applicability to safety critical systems in US rail transportation systems.
-
Format:
-
Funding:
-
Collection(s):
-
Main Document Checksum:
-
Download URL:
-
File Type: