IEEE 1483-2000

This document provides a set of standard verification tasks for processor-based equipment used in safety critical applications on rail and transit systems. The scope of the standard shall encompass and be limited to processes which verify the level of safety achieved in the implementation of safety critical functions which are required to be fail-safe. It does not address quality assurance or validation processes which also affect the level of overall system safety achieved. The purpose of this safety verification process standard is to provide a well-defined and well-structured set of analysis methods and documentation which: fulfills the primary purpose of the verification process, is flexible enough to accommodate all viable design methods, and satisfies the safety requirements of the end user. This standard (1) defines a necessary and sufficient set of analyses at the conceptual, functional, and implementation levels which comprehensively identify and verify all functions required to be implemented as fail-safe (2) defines responsibilities for equipment suppliers and end users. New IEEE Standard - Inactive-Reserved. A set of standard verification tasks for processor-based equipment used in safety-critical applications on rail and transit systems is covered. This standard also covers processes that verify the level of safety achieved in the implementation of safety-critical functions that are required to be fail-safe. Quality assurance or validation processes that affect the overall level of system safety are not covered.