BS IEC 61508-7 : 2000 AMD 13785

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

An overview of various measures and safety techniques relevant to IEC 61508-2 AND IEC 61508-3.