Safety of High Speed Ground Transportation Systems: Analytical Methodology forSafety Validation of Computer Controlled Subsystems. Volume 1. State-of-the-Art and Assessment of Safety Verification/Validation Methodologies

摘要

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.