IEC 62566-2012 Nuclear power plants - Instrumentation and control important to safety - Development of HDL-programmed integrated circuits for systems performing.pdf

1、 IEC 62566 Edition 1.0 2012-01 INTERNATIONAL STANDARD NORME INTERNATIONALE Nuclear power plants Instrumentation and control important to safety Development of HDL-programmed integrated circuits for systems performing category A functions Centrales nuclaires de puissance Instrumentation et contrle-co

2、mmande importants pour la sret Dveloppement des circuits intgrs programms en HDL pour les systmes ralisant des fonctions de catgorie A IEC62566:2012 THIS PUBLICATION IS COPYRIGHT PROTECTED Copyright 2012 IEC, Geneva, Switzerland All rights reserved. Unless otherwise specified, no part of this public

3、ation may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either IEC or IECs member National Committee in the country of the requester. If you have any questions about IEC copyright or have an e

4、nquiry about obtaining additional rights to this publication, please contact the address below or your local IEC member National Committee for further information. Droits de reproduction rservs. Sauf indication contraire, aucune partie de cette publication ne peut tre reproduite ni utilise sous quel

5、que forme que ce soit et par aucun procd, lectronique ou mcanique, y compris la photocopie et les microfilms, sans laccord crit de la CEI ou du Comit national de la CEI du pays du demandeur. Si vous avez des questions sur le copyright de la CEI ou si vous dsirez obtenir des droits supplmentaires sur

6、 cette publication, utilisez les coordonnes ci-aprs ou contactez le Comit national de la CEI de votre pays de rsidence. IEC Central Office Tel.: +41 22 919 02 11 3, rue de Varemb Fax: +41 22 919 03 00 CH-1211 Geneva 20 infoiec.ch Switzerland www.iec.ch About the IEC The International Electrotechnica

7、l Commission (IEC) is the leading global organization that prepares and publishes International Standards for all electrical, electronic and related technologies. About IEC publications The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have

8、 the latest edition, a corrigenda or an amendment might have been published. Useful links: IEC publications search - www.iec.ch/searchpub The advanced search enables you to find IEC publications by a variety of criteria (reference number, text, technical committee,). It also gives information on pro

9、jects, replaced and withdrawn publications. IEC Just Published - webstore.iec.ch/justpublished Stay up to date on all new IEC publications. Just Published details all new publications released. Available on-line and also once a month by email. Electropedia - www.electropedia.org The worlds leading o

10、nline dictionary of electronic and electrical terms containing more than 30 000 terms and definitions in English and French, with equivalent terms in additional languages. Also known as the International Electrotechnical Vocabulary (IEV) on-line. Customer Service Centre - webstore.iec.ch/csc If you

11、wish to give us your feedback on this publication or need further assistance, please contact the Customer Service Centre: csciec.ch. A propos de la CEI La Commission Electrotechnique Internationale (CEI) est la premire organisation mondiale qui labore et publie des Normes internationales pour tout c

12、e qui a trait llectricit, llectronique et aux technologies apparentes. A propos des publications CEI Le contenu technique des publications de la CEI est constamment revu. Veuillez vous assurer que vous possdez ldition la plus rcente, un corrigendum ou amendement peut avoir t publi. Liens utiles: Rec

13、herche de publications CEI - www.iec.ch/searchpub La recherche avance vous permet de trouver des publications CEI en utilisant diffrents critres (numro de rfrence, texte, comit dtudes,). Elle donne aussi des informations sur les projets et les publications remplaces ou retires. Just Published CEI -

14、webstore.iec.ch/justpublished Restez inform sur les nouvelles publications de la CEI. Just Published dtaille les nouvelles publications parues. Disponible en ligne et aussi une fois par mois par email. Electropedia - www.electropedia.org Le premier dictionnaire en ligne au monde de termes lectroniqu

15、es et lectriques. Il contient plus de 30 000 termes et dfinitions en anglais et en franais, ainsi que les termes quivalents dans les langues additionnelles. Egalement appel Vocabulaire Electrotechnique International (VEI) en ligne. Service Clients - webstore.iec.ch/csc Si vous dsirez nous donner des

16、 commentaires sur cette publication ou si vous avez des questions contactez-nous: csciec.ch. IEC 62566 Edition 1.0 2012-01 INTERNATIONAL STANDARD NORME INTERNATIONALE Nuclear power plants Instrumentation and control important to safety Development of HDL-programmed integrated circuits for systems pe

17、rforming category A functions Centrales nuclaires de puissance Instrumentation et contrle-commande importants pour la sret Dveloppement des circuits intgrs programms en HDL pour les systmes ralisant des fonctions de catgorie A INTERNATIONAL ELECTROTECHNICAL COMMISSION COMMISSION ELECTROTECHNIQUE INT

18、ERNATIONALE XA ICS 27.120.20 PRICE CODE CODE PRIX ISBN 978-2-88912-896-9 Registered trademark of the International Electrotechnical Commission Marque dpose de la Commission Electrotechnique Internationale Warning! Make sure that you obtained this publication from an authorized distributor. Attention

19、! Veuillez vous assurer que vous avez obtenu cette publication via un distributeur agr. 2 62566 IEC:2012 CONTENTS FOREWORD . 5 INTRODUCTION . 7 1 Scope and object 10 1.1 General . 10 1.2 Use of this Standard 10 2 Normative references . 11 3 Terms and definitions . 11 4 Symbols and abbreviations . 13

20、 5 General requirements for HPD projects 14 5.1 General . 14 5.2 Life-cycle. 14 5.3 HPD project management 17 5.3.1 General . 17 5.3.2 Additional requirements . 17 5.4 HPD quality assurance plan 17 5.5 Configuration management 17 6 HPD requirements specification 18 6.1 General . 18 6.2 Functional as

21、pects of the requirement specification . 18 6.3 Deterministic design 19 6.4 Fault detection and fault tolerance . 19 6.5 Requirements capture using Electronic System Level tools . 20 6.5.1 General . 20 6.5.2 Requirements on the formalism of tools used at ESL level . 20 6.5.3 Interface with design to

22、ols . 20 6.6 Requirements analysis and review 20 7 Acceptance process for programmable integrated circuits, native blocks and pre-developed blocks 21 7.1 General . 21 7.2 Component requirement specification 21 7.2.1 General . 21 7.2.2 Requirements 21 7.2.3 Requirements analysis and review . 21 7.3 R

23、ules of use 22 7.4 Selection . 22 7.4.1 General . 22 7.4.2 Documentation review . 22 7.4.3 Operating experience review . 22 7.4.4 Specific requirements related to the blank integrated circuits . 23 7.5 Acceptance justification . 23 7.6 Modification for acceptance . 24 7.7 Modification after acceptan

24、ce 24 7.8 Acceptance documentation 24 8 HPD design and implementation . 24 8.1 General . 24 8.2 Hardware Description Languages (HDL) and related tools . 24 62566 IEC:2012 3 8.3 Design . 25 8.3.1 General . 25 8.3.2 Defensive design . 25 8.3.3 Structure . 25 8.3.4 Language and coding rules 26 8.3.5 Sy

25、nchronous vs asynchronous design . 27 8.3.6 Power management . 27 8.3.7 Initialization . 28 8.3.8 Non-functional configurations 28 8.3.9 Testability 28 8.3.10 Design documentation . 28 8.4 Implementation 29 8.4.1 General . 29 8.4.2 Products 29 8.4.3 Files of parameters and constraints . 29 8.4.4 Pos

26、t-route analyses . 30 8.4.5 Redundancies introduced or removed by the tools . 30 8.4.6 Finite state machines . 31 8.4.7 Static timing analysis . 31 8.4.8 Implementation documentation 31 8.5 System level tools and automated code generation . 32 8.6 Documentation 33 8.7 Design and implementation revie

27、w 33 9 HPD verification . 33 9.1 General . 33 9.2 Verification plan 34 9.3 Verification of the use of the pre-developed items . 35 9.4 Verification of the design and implementation 35 9.5 Test-benches 36 9.6 Test coverage . 36 9.7 Test execution . 37 9.8 Static verification . 37 10 HPD aspects of sy

28、stem integration . 37 10.1 General . 37 10.2 HPD aspects of the system integration plan 38 10.3 Specific aspects of system integration . 38 10.4 Verification of the integrated system 39 10.5 Fault resolution procedures . 39 10.6 HPD aspects of the integrated system test report 39 11 HPD aspects of s

29、ystem validation . 40 11.1 General . 40 11.2 HPD aspects of the system validation plan 40 11.3 System validation 40 11.4 HPD aspects of the system validation report . 40 11.5 Fault resolution procedures . 41 12 Modification 41 12.1 Modification of the requirements, design or implementation . 41 12.2

30、 Modification of the micro-electronic technology . 41 4 62566 IEC:2012 13 HPD production 41 13.1 General . 41 13.2 Production tests 41 13.3 Programming files and programming activities . 42 14 HPD aspects of installation, commissioning and operation . 42 15 Software tools for the development of HPDs

31、 . 42 15.1 General . 42 15.2 Additional requirements for design, implementation and simulation tools . 42 16 Design segmentation or partitioning 43 16.1 Background . 43 16.2 Auxiliary or support functions 43 16.2.1 General . 43 16.2.2 Partitioning of auxiliary or support functions of category other

32、than A 43 17 Defences against HPD Common Cause Failure 44 17.1 Background . 44 17.2 Requirements 44 Annex A (informative) Documentation 45 Annex B (informative) Development of HPDs . 47 Bibliography 52 Figure 1 System life-cycle (informative, as defined by IEC 61513) . 15 Figure 2 Development life-c

33、ycle of HPD . 16 62566 IEC:2012 5 INTERNATIONAL ELECTROTECHNICAL COMMISSION _ NUCLEAR POWER PLANTS INSTRUMENTATION AND CONTROL IMPORTANT TO SAFETY DEVELOPMENT OF HDL-PROGRAMMED INTEGRATED CIRCUITS FOR SYSTEMS PERFORMING CATEGORY A FUNCTIONS FOREWORD 1) The International Electrotechnical Commission (

34、IEC) is a worldwide organization for standardization comprising all national electrotechnical committees (IEC National Committees). The object of IEC is to promote international co-operation on all questions concerning standardization in the electrical and electronic fields. To this end and in addit

35、ion to other activities, IEC publishes International Standards, Technical Specifications, Technical Reports, Publicly Available Specifications (PAS) and Guides (hereafter referred to as “IEC Publication(s)”). Their preparation is entrusted to technical committees; any IEC National Committee interest

36、ed in the subject dealt with may participate in this preparatory work. International, governmental and non-governmental organizations liaising with the IEC also participate in this preparation. IEC collaborates closely with the International Organization for Standardization (ISO) in accordance with

37、conditions determined by agreement between the two organizations. 2) The formal decisions or agreements of IEC on technical matters express, as nearly as possible, an international consensus of opinion on the relevant subjects since each technical committee has representation from all interested IEC

38、 National Committees. 3) IEC Publications have the form of recommendations for international use and are accepted by IEC National Committees in that sense. While all reasonable efforts are made to ensure that the technical content of IEC Publications is accurate, IEC cannot be held responsible for t

39、he way in which they are used or for any misinterpretation by any end user. 4) In order to promote international uniformity, IEC National Committees undertake to apply IEC Publications transparently to the maximum extent possible in their national and regional publications. Any divergence between an

40、y IEC Publication and the corresponding national or regional publication shall be clearly indicated in the latter. 5) IEC itself does not provide any attestation of conformity. Independent certification bodies provide conformity assessment services and, in some areas, access to IEC marks of conformi

41、ty. IEC is not responsible for any services carried out by independent certification bodies. 6) All users should ensure that they have the latest edition of this publication. 7) No liability shall attach to IEC or its directors, employees, servants or agents including individual experts and members

42、of its technical committees and IEC National Committees for any personal injury, property damage or other damage of any nature whatsoever, whether direct or indirect, or for costs (including legal fees) and expenses arising out of the publication, use of, or reliance upon, this IEC Publication or an

43、y other IEC Publications. 8) Attention is drawn to the Normative references cited in this publication. Use of the referenced publications is indispensable for the correct application of this publication. 9) Attention is drawn to the possibility that some of the elements of this IEC Publication may b

44、e the subject of patent rights. IEC shall not be held responsible for identifying any or all such patent rights. International Standard IEC 62566 has been prepared by subcommittee 45A: Instrumentation and control of nuclear facilities, of IEC technical committee 45: Nuclear instrumentation. The text

45、 of this Standard is based on the following documents: FDIS Report on voting 45A/859/FDIS 45A/865/RVD Full information on the voting for the approval of this Standard can be found in the report on voting indicated in the above table. This publication has been drafted in accordance with the ISO/IEC D

46、irectives, Part 2. 6 62566 IEC:2012 The committee has decided that the contents of this publication will remain unchanged until the stability date indicated on the IEC web site under “http:/webstore.iec.ch“ in the data related to the specific publication. At this date, the publication will be reconf

47、irmed, withdrawn, replaced by a revised edition, or amended. 62566 IEC:2012 7 INTRODUCTION a) Technical background, main issues and organisation of the Standard The electronic systems of class 1 (according to IEC 61513) used in Nuclear Power Plants (NPP) which are required in emergency situations, n

48、eed to be fully validated and qualified before being used in operation. In traditional systems that are computer-based, a separation can be drawn between the hardware and software portions. The hardware is mainly designed with standardised components having pre-defined electronic functions such as m

49、icroprocessors, timers or network controllers, whereas software is used to coordinate the different parts of the hardware and to implement the application functions. Nowadays, I 2) an approach to analyse and select the blank integrated circuits, micro-electronic technologies and Pre-Developed Blocks (PDB, 3.11) used to develop HPDs; 3) procedures for the modification and configuration control of HPDs; 4) requirements fo