IEC 60880:2006

NORME CEI
INTERNATIONALE
IEC
INTERNATIONAL
Deuxième édition
STANDARD
Second edition
2006-05
Centrales nucléaires de puissance –
Instrumentation et contrôle-commande
importants pour la sûreté –
Aspects logiciels des systèmes programmés
réalisant des fonctions de catégorie A

Nuclear power plants –
Instrumentation and control systems
important to safety –
Software aspects for computer-based
systems performing category A functions

Numéro de référence
Reference number
CEI/IEC 60880:2006
Numérotation des publications Publication numbering
Depuis le 1er janvier 1997, les publications de la CEI As from 1 January 1997 all IEC publications are
sont numérotées à partir de 60000. Ainsi, la CEI 34-1 issued with a designation in the 60000 series. For
devient la CEI 60034-1. example, IEC 34-1 is now referred to as IEC 60034-1.
Editions consolidées Consolidated editions
Les versions consolidées de certaines publications de la The IEC is now publishing consolidated versions of its
CEI incorporant les amendements sont disponibles. Par publications. For example, edition numbers 1.0, 1.1
exemple, les numéros d’édition 1.0, 1.1 et 1.2 indiquent and 1.2 refer, respectively, to the base publication,
respectivement la publication de base, la publication de the base publication incorporating amendment 1 and
base incorporant l’amendement 1, et la publication de the base publication incorporating amendments 1
base incorporant les amendements 1 et 2. and 2.
Informations supplémentaires Further information on IEC publications
sur les publications de la CEI
Le contenu technique des publications de la CEI est The technical content of IEC publications is kept
constamment revu par la CEI afin qu'il reflète l'état under constant review by the IEC, thus ensuring that
actuel de la technique. Des renseignements relatifs à the content reflects current technology. Information
cette publication, y compris sa validité, sont dispo- relating to this publication, including its validity, is
nibles dans le Catalogue des publications de la CEI available in the IEC Catalogue of publications
(voir ci-dessous) en plus des nouvelles éditions, (see below) in addition to new editions, amendments
amendements et corrigenda. Des informations sur les and corrigenda. Information on the subjects under
sujets à l’étude et l’avancement des travaux entrepris consideration and work in progress undertaken by the
par le comité d’études qui a élaboré cette publication, technical committee which has prepared this
ainsi que la liste des publications parues, sont publication, as well as the list of publications issued,
également disponibles par l’intermédiaire de: is also available from the following:
• Site web de la CEI (www.iec.ch) • IEC Web Site (www.iec.ch)
• Catalogue des publications de la CEI • Catalogue of IEC publications
Le catalogue en ligne sur le site web de la CEI The on-line catalogue on the IEC web site
(www.iec.ch/searchpub) vous permet de faire des (www.iec.ch/searchpub) enables you to search by a
recherches en utilisant de nombreux critères, variety of criteria including text searches,
comprenant des recherches textuelles, par comité technical committees and date of publication. On-
d’études ou date de publication. Des informations en line information is also available on recently
ligne sont également disponibles sur les nouvelles issued publications, withdrawn and replaced
publications, les publications remplacées ou retirées, publications, as well as corrigenda.
ainsi que sur les corrigenda.
• IEC Just Published • IEC Just Published
Ce résumé des dernières publications parues This summary of recently issued publications
(www.iec.ch/online_news/justpub) est aussi dispo- (www.iec.ch/online_news/justpub) is also available
nible par courrier électronique. Veuillez prendre by email. Please contact the Customer Service
contact avec le Service client (voir ci-dessous) Centre (see below) for further information.
pour plus d’informations.
• Service clients • Customer Service Centre
Si vous avez des questions au sujet de cette If you have any questions regarding this
publication ou avez besoin de renseignements publication or need further assistance, please
supplémentaires, prenez contact avec le Service contact the Customer Service Centre:
clients:
Email: custserv@iec.ch Email: custserv@iec.ch
Tél: +41 22 919 02 11 Tel: +41 22 919 02 11
Fax: +41 22 919 03 00 Fax: +41 22 919 03 00
.
NORME CEI
INTERNATIONALE
IEC
INTERNATIONAL
Deuxième édition
STANDARD
Second edition
2006-05
Centrales nucléaires de puissance–
Instrumentation et contrôle-commande
importants pour la sûreté –
Aspects logiciels des systèmes programmés
réalisant des fonctions de catégorie A

Nuclear power plants –
Instrumentation and control systems
important to safety –
Software aspects for computer-based
systems performing category A functions

 IEC 2006 Droits de reproduction réservés  Copyright - all rights reserved
Aucune partie de cette publication ne peut être reproduite ni No part of this publication may be reproduced or utilized in any
utilisée sous quelque forme que ce soit et par aucun procédé, form or by any means, electronic or mechanical, including
électronique ou mécanique, y compris la photocopie et les photocopying and microfilm, without permission in writing from
microfilms, sans l'accord écrit de l'éditeur. the publisher.
International Electrotechnical Commission, 3, rue de Varembé, PO Box 131, CH-1211 Geneva 20, Switzerland
Telephone: +41 22 919 02 11 Telefax: +41 22 919 03 00 E-mail: inmail@iec.ch Web: www.iec.ch
CODE PRIX
XE
PRICE CODE
Commission Electrotechnique Internationale
International Electrotechnical Commission
МеждународнаяЭлектротехническаяКомиссия
Pour prix, voir catalogue en vigueur
For price, see current catalogue

– 2 – 60880  CEI:2006
SOMMAIRE
AVANT-PROPOS.6
INTRODUCTION.10

1 Domaine d’application et objet.16
2 Références normatives.16
3 Termes et définitions .18
4 Symboles et abréviations.28
5 Exigences générales pour les projets logiciel .28
5.1 Généralités.28
5.2 Types de logiciel .32
5.3 Principe de développement du logiciel.34
5.4 Gestion du projet logiciel .38
5.5 Plan d’assurance qualité logiciel .38
5.6 Gestion de configuration.40
5.7 Sécurité du logiciel.42
6 Exigences du logiciel.46
6.1 Spécification des exigences du logiciel.46
6.2 Auto-surveillance.48
6.3 Test périodique .48
6.4 Documentation .50
7 Conception et réalisation .50
7.1 Principes pour la conception et la réalisation.52
7.2 Langages, traducteurs et outils associés .56
7.3 Recommandations détaillées.58
7.4 Documentation .62
8 Vérification du logiciel .62
8.1 Processus de vérification du logiciel.62
8.2 Activités de vérification du logiciel.64
9 Aspects logiciels de l’intégration du système .72
9.1 Aspects logiciels du plan d’intégration du système .74
9.2 Intégration du système .76
9.3 Vérification du système intégré.76
9.4 Procédures de résolution de défaut .78
9.5 Aspects logiciels du compte rendu de vérification du système intégré .78
10 Aspects logiciels du plan de validation .80
10.1 Aspects logiciels du plan de validation système.80
10.2 Validation du système .80
10.3 Aspects logiciels du compte rendu de validation du système .82
10.4 Procédures de résolution de défaut .82
11 Modification du logiciel .82
11.1 Procédure de demande de modification.84
11.2 Procédure d'exécution d'une modification du logiciel .86
11.3 Modification du logiciel après livraison .88

60880  IEC:2006 – 3 –
CONTENTS
FOREWORD.7
INTRODUCTION.11

1 Scope and object.17
2 Normative references .17
3 Terms and definitions .19
4 Symbols and abbreviations.29
5 General requirements for software projects .29
5.1 General .29
5.2 Software types .33
5.3 Software development approach .35
5.4 Software project management .39
5.5 Software quality assurance plan .39
5.6 Configuration management.41
5.7 Software security.43
6 Software requirements.47
6.1 Specification of software requirements .47
6.2 Self-supervision .49
6.3 Periodic testing .49
6.4 Documentation .51
7 Design and implementation .51
7.1 Principles for design and implementation .53
7.2 Language and associated translators and tools .57
7.3 Detailed recommendations .59
7.4 Documentation .63
8 Software Verification .63
8.1 Software verification process.63
8.2 Software verification activities .65
9 Software aspects of system integration.73
9.1 Software aspects of system integration plan.75
9.2 System integration .77
9.3 Integrated system verification.
...