IEEE 1483 : 2000

1 Overview
      1.1 Scope
      1.2 Purpose
2 References
3 Abbreviations, acronyms, and definitions
      3.1 Definitions
      3.2 Abbreviations and acronyms
4 Safety verification approach
      4.1 Concept-level verification [Figure 2(A)]
      4.2 Functional-level verification [Figure 2(B)]
      4.3 Implementation-level verification [Figure 2(C)]
5 Safety verification tasks
      5.1 Safety verification plan
      5.2 External inputs
      5.3 Concept-level tasks
      5.4 Functional-level tasks
      5.5 Implementation-level tasks
      5.6 Document work products
Annex A (informative) Verification techniques/procedures/
                      analyses
Annex B (informative) Example
Annex C (informative) Bibliography

Supplies a set of standard verification tasks for processor-based equipment for use in safety-critical applications on rail and transit systems. Encompasses, and is limited to, processes verifying the level of safety achieved in the implementation of safety-critical functions that are required to be fail-safe. Does not apply to quality assurance or validation processes which also have an effect on the level of overall system safety achieved.