Technical Reports

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

  • 01
  • Apr
  • 1994
AUTHOR: Federal Railroad Administration
OFFICE: RPD
SUBOFFICE: RPD-30
REPORT NUMBER: DOT/FRA/ORD-95/10.I
SUBJECT: High-Speed Passenger Rail, Maglev
KEYWORDS: verification; validation; software; hardware; methodlogy; safety; safety standards; high speed rail; magnetic levitation; high-speed guided ground transportation system
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.
Pdf Download PDF Document [15.7 MB]

####