Provides a set of standard verification tasks for processor-based equipment used in safety critical applications on rail and transit systems. It is limited to processes that verify the level of safety achieved in the implementation of safety critical functions that are required to be fail-safe.
ANSI/IEEE 1483:2000 history
2000ANSI/IEEE 1483:2000 Standard for the Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control