Shopping Cart

No products in the cart.

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
Guaranteed Safe Checkout
Category:

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

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
BS EN 61508-3:2010
$215.11