IEEE 1483 : 2000
IEEE 1483 : 2000
VERIFICATION OF VITAL FUNCTIONS IN PROCESSOR-BASED SYSTEMS USED IN RAIL TRANSIT CONTROL
Institute of Electrical & Electronics Engineers
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
| Document Type | Standard |
| Status | Current |
| Publisher | Institute of Electrical & Electronics Engineers |
