IEEE 1483 : 2000

Table of Contents

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

Abstract

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.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Institute of Electrical & Electronics Engineers
Pages
ISBN