IEC 62566:2012
(Main)Nuclear power plants - Instrumentation and control important to safety - Development of HDL-programmed integrated circuits for systems performing category A functions
Nuclear power plants - Instrumentation and control important to safety - Development of HDL-programmed integrated circuits for systems performing category A functions
IEC 62566:2012 provides requirements for achieving highly reliable "HDL-Programmed Devices" (HPD), for use in I&C systems of nuclear power plants performing functions of safety category A as defined by IEC 61226. The programming of HPDs relies on Hardware Description Languages (HDL) and related software tools. They are typically based on blank FPGAs or similar micro-electronic technologies.
Centrales nucléaires de puissance - Instrumentation et contrôle-commande importants pour la sûreté - Développement des circuits intégrés programmés en HDL pour les systèmes réalisant des fonctions de catégorie A
La CEI 62566:2012 énonce des exigences pour atteindre une fiabilité élevée dans les "circuits intégrés programmés en HDL" (HPD) destinés aux systèmes d'I&C des centrales nucléaires de puissance réalisant des fonctions de sûreté de catégorie A telles que définies par la CEI 61226. La programmation des HPD repose sur des Langages de Description de Matériel (HDL) et des outils logiciels associés. Ils sont typiquement basés sur des FPGA vierges ou des technologies micro-électroniques similaires.
General Information
Standards Content (Sample)
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 nucléaires de puissance – Instrumentation et contrôle-commande
importants pour la sûreté – Développement des circuits intégrés programmés en
HDL pour les systèmes réalisant des fonctions de catégorie A
All rights reserved. Unless otherwise specified, no part of 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
either IEC or IEC's member National Committee in the country of the requester.
If you have any questions about IEC copyright or have an enquiry 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 réservés. Sauf indication contraire, aucune partie de cette publication ne peut être reproduite ni
utilisée sous quelque forme que ce soit et par aucun procédé, électronique ou mécanique, y compris la photocopie et les
microfilms, sans l'accord é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 désirez obtenir des droits supplémentaires sur cette
publication, utilisez les coordonnées ci-après ou contactez le Comité national de la CEI de votre pays de résidence.
IEC Central Office Tel.: +41 22 919 02 11
3, rue de Varembé Fax: +41 22 919 03 00
CH-1211 Geneva 20 info@iec.ch
Switzerland www.iec.ch
About the IEC
The International Electrotechnical 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 the
latest edition, a corrigenda or an amendment might have been published.
Useful links:
IEC publications search - www.iec.ch/searchpub Electropedia - www.electropedia.org
The advanced search enables you to find IEC publications The world's leading online dictionary of electronic and
by a variety of criteria (reference number, text, technical electrical terms containing more than 30 000 terms and
committee,…). definitions in English and French, with equivalent terms in
It also gives information on projects, replaced and additional languages. Also known as the International
withdrawn publications. Electrotechnical Vocabulary (IEV) on-line.
IEC Just Published - webstore.iec.ch/justpublished Customer Service Centre - webstore.iec.ch/csc
Stay up to date on all new IEC publications. Just Published If you wish to give us your feedback on this publication
details all new publications released. Available on-line and or need further assistance, please contact the
also once a month by email. Customer Service Centre: csc@iec.ch.
A propos de la CEI
La Commission Electrotechnique Internationale (CEI) est la première organisation mondiale qui élabore et publie des
Normes internationales pour tout ce qui a trait à l'électricité, à l'électronique et aux technologies apparentées.
A propos des publications CEI
Le contenu technique des publications de la CEI est constamment revu. Veuillez vous assurer que vous possédez
l’édition la plus récente, un corrigendum ou amendement peut avoir été publié.
Liens utiles:
Recherche de publications CEI - www.iec.ch/searchpub Electropedia - www.electropedia.org
La recherche avancée vous permet de trouver des Le premier dictionnaire en ligne au monde de termes
publications CEI en utilisant différents critères (numéro de électroniques et électriques. Il contient plus de 30 000
référence, texte, comité d’études,…). termes et définitions en anglais et en français, ainsi que
Elle donne aussi des informations sur les projets et les les termes équivalents dans les langues additionnelles.
publications remplacées ou retirées. Egalement appelé Vocabulaire Electrotechnique
International (VEI) en ligne.
Just Published CEI - webstore.iec.ch/justpublished
Service Clients - webstore.iec.ch/csc
Restez informé sur les nouvelles publications de la CEI.
Just Published détaille les nouvelles publications parues. Si vous désirez nous donner des commentaires sur
Disponible en ligne et aussi une fois par mois par email. cette publication ou si vous avez des questions
contactez-nous: csc@iec.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 performing
category A functions
Centrales nucléaires de puissance – Instrumentation et contrôle-commande
importants pour la sûreté – Développement des circuits intégrés programmés
en HDL pour les systèmes réalisant des fonctions de catégorie A
INTERNATIONAL
ELECTROTECHNICAL
COMMISSION
COMMISSION
ELECTROTECHNIQUE
PRICE CODE
INTERNATIONALE
CODE PRIX XA
ICS 27.120.20 ISBN 978-2-88912-896-9
– 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
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 aspects 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 tools . 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 Rules 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 acceptance . 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 Synchronous 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 Post-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 review . 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 .
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.