BS IEC 61508-3 : 1998 AMD 13781
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - SOFTWARE REQUIREMENTS
15-03-2002
23-11-2012
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
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.