BS EN 62566:2014

FOREWORD
INTRODUCTION
1 Scope and object
2 Normative references
3 Terms and definitions
4 Symbols and abbreviations
5 General requirements for HPD projects
6 HPD requirements specification
7 Acceptance process for programmable integrated
   circuits, native blocks and pre-developed blocks
8 HPD design and implementation
9 HPD verification
10 HPD aspects of system integration
11 HPD aspects of system validation
12 Modification
13 HPD production
14 HPD aspects of installation, commissioning and
   operation
15 Software tools for the development of HPDs
16 Design segmentation or partitioning
17 Defences against HPD Common Cause Failure
Annex A (informative) - Documentation
Annex B (informative) - Development of HPDs
Annex ZA (normative) - Normative references to
         international publications with their
         corresponding European publications
Bibliography

Defines 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.

1.1 General This International Standard 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. General purpose integrated circuits such as microprocessors are not HPDs. This Standard provides requirements on: a dedicated development life-cycle addressing each phase of the development of HPDs, including specification of requirements, design, implementation, verification, integration and validation, planning and complementary activities such as modification and production, selection of pre-developed components. This includes micro-electronic resources (such as a blank FPGA or CPLD) and HDL statements representing Pre-Developed Blocks (PDB), use of simplicity and deterministic principles, recognized to be of primary importance to achieve “fault free” implementation of category A functions, tools used to design, implement and verify HPDs. This Standard does not put requirements on the development of the micro-electronic resources, which are usually available as \'commercial off-the-shelf\' items and are not developed under nuclear quality assurance Standards. It addresses the developments made with these micro-electronic resources in an I&C project with HDLs and related tools. This Standard provides guidance to avoid as far as possible latent faults remaining in HPDs, and to reduce the susceptibility to single failures as well as to potential Common Cause Failures (CCF). The requirements within this Standard for clear and comprehensive documentation should facilitate the effective application of IEC 62340. Reliability aspects related to environmental qualification and failures due to ageing or physical degradation are not handled in this Standard. Other Standards, especially IEC 60987, IEC 60780 and IEC 62342, address these topics. Subclause 5.7 of IEC 60880:2006 provides security requirements that apply to the development of HPDs as applicable.