1、 NORME INTERNATIONALECEIIECINTERNATIONAL STANDARD 60880Deuxime ditionSecond edition2006-05Centrales nuclaires de puissance Instrumentation et contrle-commande importants pour la sret Aspects logiciels des systmes programms ralisant des fonctions de catgorie A Nuclear power plants Instrumentation and
2、 control systems important to safety Software aspects for computer-based systems performing category A functions Numro de rfrence Reference number CEI/IEC 60880:2006 Numrotation des publications Depuis le 1er janvier 1997, les publications de la CEI sont numrotes partir de 60000. Ainsi, la CEI 34-1
3、devient la CEI 60034-1. Editions consolides Les versions consolides de certaines publications de la CEI incorporant les amendements sont disponibles. Par exemple, les numros ddition 1.0, 1.1 et 1.2 indiquent respectivement la publication de base, la publication de base incorporant lamendement 1, et
4、la publication de base incorporant les amendements 1 et 2. Informations supplmentaires sur les publications de la CEI Le contenu technique des publications de la CEI est constamment revu par la CEI afin quil reflte ltat actuel de la technique. Des renseignements relatifs cette publication, y compris
5、 sa validit, sont dispo-nibles dans le Catalogue des publications de la CEI (voir ci-dessous) en plus des nouvelles ditions, amendements et corrigenda. Des informations sur les sujets ltude et lavancement des travaux entrepris par le comit dtudes qui a labor cette publication, ainsi que la liste des
6、 publications parues, sont galement disponibles par lintermdiaire de: Site web de la CEI (www.iec.ch) Catalogue des publications de la CEI Le catalogue en ligne sur le site web de la CEI (www.iec.ch/searchpub) vous permet de faire des recherches en utilisant de nombreux critres, comprenant des reche
7、rches textuelles, par comit dtudes ou date de publication. Des informations en ligne sont galement disponibles sur les nouvelles publications, les publications remplaces ou retires, ainsi que sur les corrigenda. IEC Just Published Ce rsum des dernires publications parues (www.iec.ch/online_news/just
8、pub) est aussi dispo-nible par courrier lectronique. Veuillez prendre contact avec le Service client (voir ci-dessous) pour plus dinformations. Service clients Si vous avez des questions au sujet de cette publication ou avez besoin de renseignements supplmentaires, prenez contact avec le Service cli
9、ents: Email: custserviec.ch Tl: +41 22 919 02 11 Fax: +41 22 919 03 00 Publication numbering As from 1 January 1997 all IEC publications are issued with a designation in the 60000 series. For example, IEC 34-1 is now referred to as IEC 60034-1. Consolidated editions The IEC is now publishing consoli
10、dated versions of its publications. For example, edition numbers 1.0, 1.1 and 1.2 refer, respectively, to the base publication, the base publication incorporating amendment 1 and the base publication incorporating amendments 1 and 2. Further information on IEC publications The technical content of I
11、EC publications is kept under constant review by the IEC, thus ensuring that the content reflects current technology. Information relating to this publication, including its validity, is available in the IEC Catalogue of publications (see below) in addition to new editions, amendments and corrigenda
12、. Information on the subjects under consideration and work in progress undertaken by the technical committee which has prepared this publication, as well as the list of publications issued, is also available from the following: IEC Web Site (www.iec.ch) Catalogue of IEC publications The on-line cata
13、logue on the IEC web site (www.iec.ch/searchpub) enables you to search by a variety of criteria including text searches, technical committees and date of publication. On-line information is also available on recently issued publications, withdrawn and replaced publications, as well as corrigenda. IE
14、C Just Published This summary of recently issued publications (www.iec.ch/online_news/justpub) is also available by email. Please contact the Customer Service Centre (see below) for further information. Customer Service Centre If you have any questions regarding this publication or need further assi
15、stance, please contact the Customer Service Centre: Email: custserviec.ch Tel: +41 22 919 02 11 Fax: +41 22 919 03 00 . NORME INTERNATIONALECEIIECINTERNATIONAL STANDARD 60880Deuxime ditionSecond edition2006-05Centrales nuclaires de puissance Instrumentation et contrle-commande importants pour la sre
16、t Aspects logiciels des systmes programms ralisant des fonctions de catgorie A Nuclear power plants Instrumentation and control systems important to safety Software aspects for computer-based systems performing category A functions Pour prix, voir catalogue en vigueur For price, see current catalogu
17、e IEC 2006 Droits de reproduction rservs Copyright - all rights reserved Aucune partie de cette publication ne peut tre reproduite ni utilise sous quelque forme que ce soit et par aucun procd, lectronique ou mcanique, y compris la photocopie et les microfilms, sans laccord crit de lditeur. No part o
18、f this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher. International Electrotechnical Commission, 3, rue de Varemb, PO Box 131, CH-1211 Geneva 20, SwitzerlandTelep
19、hone: +41 22 919 02 11 Telefax: +41 22 919 03 00 E-mail: inmailiec.ch Web: www.iec.ch CODE PRIX PRICE CODE XE Commission Electrotechnique InternationaleInternational Electrotechnical Commission 2 60880 CEI:2006 SOMMAIRE AVANT-PROPOS6 INTRODUCTION.10 1 Domaine dapplication et objet16 2 Rfrences norma
20、tives.16 3 Termes et dfinitions 18 4 Symboles et abrviations28 5 Exigences gnrales pour les projets logiciel .28 5.1 Gnralits28 5.2 Types de logiciel .32 5.3 Principe de dveloppement du logiciel.34 5.4 Gestion du projet logiciel.38 5.5 Plan dassurance qualit logiciel .38 5.6 Gestion de configuration
21、40 5.7 Scurit du logiciel42 6 Exigences du logiciel46 6.1 Spcification des exigences du logiciel46 6.2 Auto-surveillance.48 6.3 Test priodique .48 6.4 Documentation 50 7 Conception et ralisation 50 7.1 Principes pour la conception et la ralisation.52 7.2 Langages, traducteurs et outils associs .56 7
22、.3 Recommandations dtailles.58 7.4 Documentation 62 8 Vrification du logiciel 62 8.1 Processus de vrification du logiciel62 8.2 Activits de vrification du logiciel.64 9 Aspects logiciels de lintgration du systme 72 9.1 Aspects logiciels du plan dintgration du systme 74 9.2 Intgration du systme 76 9.
23、3 Vrification du systme intgr76 9.4 Procdures de rsolution de dfaut .78 9.5 Aspects logiciels du compte rendu de vrification du systme intgr .78 10 Aspects logiciels du plan de validation .80 10.1 Aspects logiciels du plan de validation systme.80 10.2 Validation du systme .80 10.3 Aspects logiciels
24、du compte rendu de validation du systme .82 10.4 Procdures de rsolution de dfaut .82 11 Modification du logiciel .82 11.1 Procdure de demande de modification.84 11.2 Procdure dexcution dune modification du logiciel .86 11.3 Modification du logiciel aprs livraison 88 60880 IEC:2006 3 CONTENTS FOREWOR
25、D.7 INTRODUCTION.11 1 Scope and object17 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
26、quality assurance plan39 5.6 Configuration management41 5.7 Software security.43 6 Software requirements47 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 5
27、3 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
28、 plan75 9.2 System integration 77 9.3 Integrated system verification77 9.4 Fault resolution procedures .79 9.5 Software aspects of integrated system verification report 79 10 Software aspects of system validation 81 10.1 Software aspects of the system validation plan81 10.2 System validation 81 10.3
29、 Software aspects of the system validation report .83 10.4 Fault resolution procedures .83 11 Software modification .83 11.1 Modification request procedure .85 11.2 Procedure for executing a software modification87 11.3 Software modification after delivery.89 4 60880 CEI:2006 12 Aspects logiciels de
30、 linstallation et de lexploitation .90 12.1 Installation du logiciel sur site .90 12.2 Scurit informatique sur site 90 12.3 Adaptation du logiciel aux conditions sur site 92 12.4 Formation des oprateurs92 13 Moyens de dfense contre les dfaillances logicielles de cause commune .94 13.1 Gnralits94 13.
31、2 Conception du logiciel pour viter les CCF 96 13.3 Sources et effets des CCF logicielles 96 13.4 Mise en oeuvre de la diversit.98 13.5 Pondration des inconvnients et des avantages lis lutilisation de la diversit 98 14 Outils logiciels pour le dveloppement de logiciels .98 14.1 Gnralits98 14.2 Slect
32、ion des outils .100 14.3 Exigences applicables aux outils .102 15 Qualification de logiciels prdvelopps .112 15.1 Gnralits112 15.2 Exigences gnrales .112 15.3 Processus dvaluation et dagrment .114 15.4 Exigences lies lintgration dans le systme et la maintenance des PDS .130 Annexe A (normative) Cycl
33、e de vie et de sret du logiciel et dtails des exigences du logiciel 132 Annexe B (normative) Exigences et recommandations dtailles relatives la conception et la ralisation 136 Annexe C (informative) Exemple dingnierie base de logiciel orient application (dveloppement de logiciel avec un langage orie
34、nt application) 162 Annexe D (informative) Langage, traducteur, diteur de liens 170 Annexe E (informative) Vrification et test du logiciel.174 Annexe F (informative) Liste typique des documents relatifs au logiciel .190 Annexe G (informative) Considrations sur les CCF et la diversification 192 Annex
35、e H (informative) Outils pour la production et la vrification des spcifications, de la conception et du code 200 Annexe I (informative) Exigences concernant les logiciels prdvelopps (PDS) .206 Annexe J (informative) Correspondance entre la CEI 61513 et cette norme .210 60880 IEC:2006 5 12 Software a
36、spects of installation and operation91 12.1 On-site installation of the software 91 12.2 On-site software security.91 12.3 Adaptation of the software to on-site conditions.93 12.4 Operator training .93 13 Defences against common cause failure due to software95 13.1 General .95 13.2 Design of softwar
37、e against CCF 97 13.3 Sources and effects of CCF due to software97 13.4 Implementation of diversity99 13.5 Balance of drawbacks and benefits connected with the use of diversity.99 14 Software tools for the development of software 99 14.1 Introduction .99 14.2 Selection of tools.101 14.3 Requirements
38、 for tools 103 15 Qualification of pre-developed software113 15.1 General .113 15.2 General requirements113 15.3 Evaluation and assessment process115 15.4 Requirements for integration in the system and modification of PDS .131 Annex A (normative) Software safety life cycle and details of software re
39、quirements .133 Annex B (normative) Detailed requirements and recommendations for design and implementation .137 Annex C (informative) Example of application oriented software engineering (software development with application-oriented language)163 Annex D (informative) Language, translator, linkage
40、 editor 171 Annex E (informative) Software verification and testing175 Annex F (informative) Typical list of software documentation .191 Annex G (informative) Considerations of CCF and diversity .193 Annex H (informative) Tools for production and checking of specification, design and implementation
41、.201 Annex I (informative) Requirements concerning pre-developed software (PDS) .207 Annex J (informative) Correspondence between IEC 61513 and this standard .211 6 60880 CEI:2006 COMMISSION LECTROTECHNIQUE INTERNATIONALE _ CENTRALES NUCLAIRES DE PUISSANCE INSTRUMENTATION ET CONTRLE-COMMANDE IMPORTA
42、NTS POUR LA SRET ASPECTS LOGICIELS DES SYSTMES PROGRAMMS RALISANT DES FONCTIONS DE CATGORIE A AVANT-PROPOS 1) La Commission Electrotechnique Internationale (CEI) est une organisation mondiale de normalisation compose de lensemble des comits lectrotechniques nationaux (Comits nationaux de la CEI). La
43、 CEI a pour objet de favoriser la coopration internationale pour toutes les questions de normalisation dans les domaines de llectricit et de llectronique. A cet effet, la CEI entre autres activits publie des Normes internationales, des Spcifications techniques, des Rapports techniques, des Spcificat
44、ions accessibles au public (PAS) et des Guides (ci-aprs dnomms “Publication(s) de la CEI“). Leur laboration est confie des comits dtudes, aux travaux desquels tout Comit national intress par le sujet trait peut participer. Les organisations internationales, gouvernementales et non gouvernementales,
45、en liaison avec la CEI, participent galement aux travaux. La CEI collabore troitement avec lOrganisation Internationale de Normalisation (ISO), selon des conditions fixes par accord entre les deux organisations. 2) Les dcisions ou accords officiels de la CEI concernant les questions techniques reprs
46、entent, dans la mesure du possible, un accord international sur les sujets tudis, tant donn que les Comits nationaux de la CEI intresss sont reprsents dans chaque comit dtudes. 3) Les Publications de la CEI se prsentent sous la forme de recommandations internationales et sont agres comme telles par
47、les Comits nationaux de la CEI. Tous les efforts raisonnables sont entrepris afin que la CEI sassure de lexactitude du contenu technique de ses publications; la CEI ne peut pas tre tenue responsable de lventuelle mauvaise utilisation ou interprtation qui en est faite par un quelconque utilisateur fi
48、nal. 4) Dans le but dencourager luniformit internationale, les Comits nationaux de la CEI sengagent, dans toute la mesure possible, appliquer de faon transparente les Publications de la CEI dans leurs publications nationales et rgionales. Toutes divergences entre toutes Publications de la CEI et toutes publications nationales ou rgionales correspondantes doivent tre indiques en termes clairs dans ces dernires. 5) La CEI na prvu aucune procdure de marquage valant indication dapp
