IEEE 1483:2000 pdf download.IEEE Standard for Verification of Vitall Functions in Processor-Based Systems Used in Rail Transit Control.
IEEE 1483 provides a set of standard verification tasks for processor-based equipment used in safety-
critical applications on rail and transit systems. The scope of this standard shall encompass, and be limited
to, processes that verify the level of safety achieved in the implementation of safety-critical functions that
are required to be fail-safe. This standard does not address quality assurance or validation processes, which
also affect the level of overall system safety achieved.
Figure 1 illustrates the elements of the safety verification process (within the dotted box) in the context of
the overall system safety and design and development processes.
1.2 Purpose
The purpose of this safety verification process standard is to provide a well-defined and well-structured set of analysis methods and documentation that
Fulfills the primary purpose of the verification process.
— Is flexible enough to accommodate all viable design methods.
— Satisfies the safety requirements of the end user.
This standard
— Defines a necessary and sufficient set of analyses at the concept, functional, and implementation levels that comprehensively identify and verify all functions required to be implemented as fail-safe.
— Defines responsibilities for equipment suppliers and end users.
2. References
This standard shall be used in conjunction with the following publication. If the following publication is superseded by an approved revision, the revision shall apply. In case of a conflict between this standard and the referenced document, this standard shall take precedence. Those provisions of the referenced document that are not in conflict with this standard shall apply as referenced.
MIL-Std-882C:l996, System Safety Program Plan Requirements.’
3. Abbreviations, acronyms, and definitions
3.1 Definitions
For the purposes of this standard, the ftl1owing terms and definitions apply. IEEE 100-1996, The IEEE Standard Dictionary of Electrical and Electronic Terms [B I 3],2 should he referenced for tems not defined in this clause.
3.1.1 concept level: The level of verification activities at which vital functions and vital implementation requirements. imposed on the system’s design and implementation by the safety assurance concept selected, are determined and identified.
3.1.2 fail-safe: A design philosophy applied to safety-critical systems such that the result of hardware failure or the effect of software error shall either prohibit the system from assuming or maintaining an unsafe state, or shall cause the system to assume a state known to be safe.
3.1.3 fail-safely: The implementation of a function in a fail-safe manner.
3.1.4 fault tree analysis (FTA): A structured analysis method used to comprehensively identify faults and combinations of faults of software and hardware components as they relate to a hazard.IEEE 1483 pdf download.