BS EN 61508-3:2010
$215.11
Functional safety of electrical/electronic/ programmable electronic safety-related systems – Software requirements
Published By | Publication Date | Number of Pages |
BSI | 2010 | 116 |
IEC 61508-3:2010 applies to any software forming part of a safety-related system or used to develop a safety-related system within the scope of IEC 61508-1 and IEC 61508-2; provides specific requirements applicable to support tools used to develop and configure a safety-related system within the scope of IEC 61508-1 and IEC 61508-2; requires that the software safety functions and software systematic capability are specified; establishes requirements for safety lifecycle phases and activities which shall be applied during the design and development of the safety-related software. These requirements include the application of measures and techniques, which are graded against the required systematic capability, for the avoidance of and control of faults and failures in the software; provides requirements for information relating to the software aspects of system safety validation to be passed to the organisation carrying out the E/E/PE system integration; provides requirements for the preparation of information and procedures concerning software needed by the user for the operation and maintenance of the E/E/PE safety-related system; provides requirements to be met by the organisation carrying out modifications to safety-related software; provides, in conjunction with IEC 61508-1 and IEC 61508-2, requirements for support tools such as development and design tools, language translators, testing and debugging tools, configuration management tools. This second edition cancels and replaces the first edition published in 1998. This edition constitutes a technical revision. It has been subject to a thorough review and incorporates many comments received at the various revision stages. It has the status of a basic safety publication according to IEC Guide 104. NEW! Also available: /2, containing all parts, together with a commented Redline version. Changes made in this 2nd edition are highlighted and commented by a leading world expert. This publication is of high relevance for Smart Grid.
PDF Catalog
PDF Pages | PDF Title |
---|---|
6 | English CONTENTS |
9 | INTRODUCTION |
11 | 1 Scope |
13 | Figures Figure 1 – Overall framework of the IEC 61508 series |
14 | 2 Normative references Figure 2 – Overall safety lifecycle |
15 | 3 Definitions and abbreviations 4 Conformance to this standard 5 Documentation 6 Additional requirements for management of safety-related software 6.1 Objectives 6.2 Requirements |
16 | 7 Software safety lifecycle requirements 7.1 General |
18 | Figure 3 – E/E/PE system safety lifecycle (in realisation phase) Figure 4 – Software safety lifecycle (in realisation phase) |
19 | Figure 5 – Relationship and scope for IEC 61508-2 and IEC 61508-3 Figure 6 – Software systematic capability and the development lifecycle (the V-model) |
20 | Tables Table 1 – Software safety lifecycle – overview |
23 | 7.2 Software safety requirements specification |
26 | 7.3 Validation plan for software aspects of system safety |
27 | 7.4 Software design and development |
38 | 7.5 Programmable electronics integration (hardware and software) |
39 | 7.6 Software operation and modification procedures 7.7 Software aspects of system safety validation |
41 | 7.8 Software modification |
43 | 7.9 Software verification |
46 | 8 Functional safety assessment |
48 | Annex A (normative) Guide to the selection of techniques and measures |
49 | Table A.1 – Software safety requirements specification |
50 | Table A.2 – Software design and development – software architecture design |
51 | Table A.3 – Software design and development – support tools and programming language |
52 | Table A.4 – Software design and development – detailed design |
53 | Table A.5 – Software design and development – software module testing and integration Table A.6 – Programmable electronics integration (hardware and software) |
54 | Table A.7 – Software aspects of system safety validation Table A.8 – Modification |
55 | Table A.9 – Software verification |
56 | Table A.10 – Functional safety assessment |
57 | Annex B (informative) Detailed tables Table B.1 – Design and coding standards |
58 | Table B.2 – Dynamic analysis and testing Table B.3 – Functional and black-box testing |
59 | Table B.4 – Failure analysis Table B.5 – Modelling |
60 | Table B.6 – Performance testing Table B.7 – Semi-formal methods |
61 | Table B.8 – Static analysis Table B.9 – Modular approach |
62 | Annex C (informative) Properties for software systematic capability |
66 | Table C.1 – Properties for systematic safety integrity – Software safety requirements specification |
69 | Table C.2 – Properties for systematic safety integrity – Software design and development – software Architecture Design |
78 | Table C.3 – Properties for systematic safety integrity – Software design and development – support tools and programming language |
79 | Table C.4 – Properties for systematic safety integrity – Software design and development – detailed design (includes software system design, software module design and coding) |
81 | Table C.5 – Properties for systematic safety integrity – Software design and development – software module testing and integration |
83 | Table C.6 – Properties for systematic safety integrity – Programmable electronics integration (hardware and software) |
84 | Table C.7 – Properties for systematic safety integrity – Software aspects of system safety validation |
85 | Table C.8 – Properties for systematic safety integrity – Software modification |
87 | Table C.9 – Properties for systematic safety integrity – Software verification |
88 | Table C.10 – Properties for systematic safety integrity – Functional safety assessment |
89 | Table C.11 – Detailed properties – Design and coding standards |
91 | Table C.12 – Detailed properties – Dynamic analysis and testing |
92 | Table C.13 – Detailed properties – Functional and black-box testing |
93 | Table C.14 – Detailed properties – Failure analysis |
94 | Table C.15 – Detailed properties – Modelling |
95 | Table C.16 – Detailed properties – Performance testing |
96 | Table C.17 – Detailed properties – Semi-formal methods |
97 | Table C.18 – Properties for systematic safety integrity – Static analysis |
98 | Table C.19 – Detailed properties – Modular approach |
99 | Annex D (normative) Safety manual for compliant items – additional requirements for software elements |
102 | Annex E (informative) Relationships between IEC 61508-2 and IEC 61508-3 Table E.1 – Categories of IEC 61508-2 requirements Table E.2 – Requirements of IEC 61508-2 for software and their typical relevance to certain types of software |
104 | Annex F (informative) Techniques for achieving non-interference between software elements on a single computer |
106 | Table F.1 – Module coupling – definition of terms |
107 | Table F.2 – Types of module coupling |
109 | Annex G (informative) Guidance for tailoring lifecycles associated with data driven systems |
110 | Figure G.1 – Variability in complexity of data driven systems |
113 | Bibliography |