Foreword
Introduction
Clause
1 Scope and object
2 Normative references
3 Definitions and abbreviations
4 Requirements and recommendations
4.1 Defences against common cause failure due
to software
4.2 Software tools for the development of
software
4.3 Qualification of pre-developed software
Annex A (informative) Considerations of CCF and
diversity
A.1 CCF due to software
A.2 Potential CCF causes and effect
A.3 CCF defences
A.4 Demonstration of correctness
A.5 Diversity features
A.6 Drawbacks, benefits and justification of
diversity
Annex B (informative) IEC 60880 requirements fo
the use and qualification of software tools
Annex C (informative) Tools for production and
checking of specification, design and code
C.1 Constructive tools
C.2 Analytical tools
Annex D (informative) IEC 60880 requirements
concerning PDS
D.1 Summary of IEC 60880 requirements concerning the
PDS
D.2 Documentation for the evaluation of the PDS
D.3 Guidance for selecting applicable IEC 60880
requirements
D.4 Guidance for graduating non-conformities and
compensating factors
D.5 Collection and validation of data on the
operational history
Bibliography