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.