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