IEC 60880-2:2000
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.
Software for computers important to safety for nuclear power plants - Part 2: Software aspects of defence against common cause failures, use of software tools and of pre-developed software
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
05-09-2006
English - French
12-21-2000
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
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.