Safety of high speed ground transportation systems: Analytical methodology for safety validation of computer controlled subsystems. Volume 1. State-of-the-art and assessment of safety verification/validation methodologies. Final report
This document is the Final Report for the Base Task (or first of two major tasks) of the program relative to the development of this methodology. The report describes work performed and results obtained on three major activities or items of work. The first (i.e., Item 1) involved the definition of terminology and acronyms relevant to the safety verification and validation of computer-controlled subsystems used in railroad and other fixed guideway applications including high-speed rail and maglev. The second (i.e,. Item 2) involved a description of the state-of-the-art in safety verification and validation methodologies and associated standards in computer-based systems worldwide. The third (i.e., Item 3) involved an assessment of the methodologies from the standpoint of their applicability and level of assured safety.
- Research Organization:
- Department of Transportation, Cambridge, MA (United States). John A. Volpe National Transportation Systems Center
- OSTI ID:
- 147353
- Report Number(s):
- PB-96-109772/XAB; DOT-VNTSC-FRA-95-8-1; CNN: Contract RR593/R5019; TRN: 53243680
- Resource Relation:
- Other Information: DN: See also Volume 2, PB--96-109780; PBD: Sep 1995
- Country of Publication:
- United States
- Language:
- English
Similar Records
Safety of high speed guided ground transportation systems: Shared right-of-way safety issues. Final report, July 1991-July 1992
Concepts of Model Verification and Validation