FOREWORD
INTRODUCTION
1 Scope
2 Normative references
3 Definitions and abbreviations
Annex A (informative) overview of techniques and measures for
E/E/PES: control of random hardware
failures (see IEC 61508-2)
A.1 - Electrical
A.2 - Electronic
A.3 - Processing units
A.4 - Invariable memory ranges
A.5 - Variable memory ranges
A.6 - I/O-units and interfaces (external communication)
A.7 - Data paths (internal communication)
A.8 - Power supply
A.9 - Temporal and logical program sequence monitoring
A.10 - Ventilation and heating
A.11 - Communication and mass-storage
A.12 - Sensors
A.13 - Final elements (actuators)
A.14 - Measures against the physical environment
Annex B (informative) Overview of techniques and measures for
E/E/PES: avoidance of systematic
failures (see IEC 61508-2 and IEC
61508-3)
B.1 - General measures and techniques
B.2 - E/E/PES safety requirements specification
B.3 - E/E/PES design and development
B.4 - E/E/PES operation and maintenance procedures
B.5 - E/E/PES integration
B.6 - E/E/PES safety validation
Annex C (informative) Overview of techniques and measures for
achieving software safety integrity
(see IEC 61508-3)
C.1 - General
C.2 - Requirements and detailed design
C.3 - Architecture design
C.4 - Development tools and programming languages
C.5 - Verification and modification
C.6 - Functional safety assessment
Annex D (informative) A probabilistic approach to determining
software safety integrity for pre-
developed software
D.1 - General
D.2 - Statistical testing formulae and examples of their
use
D.3 - References
Bibliography
Index
Table C.1 - Recommendations for specific programming languages
Table D.1 - Necessary history for confidence to safety
integrity levels
Table D.2 - Probabilities of failure for low demand mode of
operation
Table D.3 - Mean distances of two test points
Table D.4 - Probabilities of failure for high demand or
continuous mode of operation
Table D.5 - Probability of testing all program properties