BS IEC 61508-3 : 1998 AMD 13781

Foreword
Introduction
1 Scope
2 Normative references
3 Definitions and abbreviations
4 Conformance to this standard
5 Documentation
6 Software quality management system
    6.1 Objectives
    6.2 Requirements
7 Software safety lifecycle requirements
    7.1 General
    7.2 Software safety requirements specification
    7.3 Software safety validation planning
    7.4 Software design and development
    7.5 Programmable electronics integration (hardware
          and software)
    7.6 Software operation and modification procedures
    7.7 Software safety validation
    7.8 Software modification
    7.9 Software verification
8 Functional safety assessment
Annex A (normative) Guide to the selection of techniques
and measures
Annex B (normative) Detailed tables
Annex C (informative) Bibliography
Tables
1 Software safety lifecycle: overview
A.1 Software safety requirements specification (see 7.2)
A.2 Software design and development: software architecture
design (see 7.4.3)
A.3 Software design and development: support tools and
programming language (see 7.4.4)
A.4 Software design and development: detailed design (see
7.4.5 and 7.4.6)
A.5 Software design and development: software module testing
and integration (see 7.4.7 and 7.4.8)
A.6 Programmable electronics integration (hardware and
software) (see 7.5)
A.7 Software safety validation (see 7.7)
A.8 Modification (see 7.8)
A.9 Software verification (see 7.9)
A.10 Functional safety assessment (see clause 8)
B.1 Design and coding standards (referenced by table A.4)
B.2 Dynamic analysis and testing (referenced by tables A.5
and A.9)
B.3 Functional and black-box testing (referenced by tables
A.5, A.6 and A.7)
B.4 Failure analysis (referenced by table A.10)
B.5 Modelling (referenced by table A.7)
B.6 Performance testing (referenced by tables A.5 and A.6)
B.7 Semi-formal methods (referenced by tables A.1, A.2 and
A.4)
B.8 Static analysis (referenced by table A.9)
B.9 Modular approach (referenced by table A.4)
Figures
1 Overall framework of this standard
2 E/E/PES safety lifecycle (in realisation phase)
3 Software safety lifecycle (in realisation phase)
4 Relationship between and scope of IEC 61508-2 and
61508-3
5 Software safety integrity and the development lifecycle
(the v-model)
6 Relationship between the hardware and software
architectures of programmable electronics

To be utilised only with a thorough understanding of IEC 61508-1 and IEC 61508-2. Applicable to software forming part of a safety- related system or used to develop a safety-related system in accordance with IEC 61508-1 and IEC 6108-2. Coverage includes operating systems, system software, software in communication networks, human-computer interface functions, support tools and firmware along with application programs.