IEC 62566:2012 Centrales nucleares - Instrumentación y control importantes para la seguridad - Desarrollo de circuitos integrados programados en HDL para sistemas que realizan funciones de categoría A
Esta norma internacional establece los requisitos para la implementación de dispositivos programables en lenguaje de descripción de hardware (HPD) altamente confiables para sistemas de instrumentación y control (I&C) en centrales nucleares que realizan funciones de categoría de seguridad A (según se define en IEC 61226). La programación de HPD se basa en lenguajes de descripción de hardware (HDL) y herramientas de software relacionadas. Estos se basan típicamente en matrices de puertas programables en campo (FPGA) en blanco o tecnologías microelectrónicas similares. Los circuitos integrados de propósito general (como los microprocesadores) no se consideran HPD. Esta norma establece los requisitos para: a) un ciclo de vida de desarrollo dedicado para cada fase del desarrollo de HPD, incluyendo especificación de requisitos, diseño, implementación, verificación, integración y validación; b) planificación y actividades suplementarias, como modificación y producción; c) la selección de componentes de predesarrollo, incluyendo recursos microelectrónicos (como FPGA o CPLD en blanco) y declaraciones HDL que representan bloques de predesarrollo (PDB); d) el uso de principios de simplicidad y determinismo, que se consideran esenciales para lograr funciones de categoría A "sin fallas"; y e) herramientas para el diseño, implementación y validación de HPD. Esta norma no aborda el desarrollo de recursos microelectrónicos (generalmente ofrecidos como productos "comerciales listos para usar" y no desarrollados bajo estándares de garantía de calidad nuclear). Aborda el desarrollo de estos recursos microelectrónicos dentro de proyectos de I&C, en conjunto con HDL y herramientas relacionadas. Esta norma proporciona orientación para minimizar las posibles fallas que quedan en los HPD y reducir la sensibilidad a puntos únicos de falla y posibles fallas de causa común (CCF). Los requisitos de documentación clara y completa en esta norma deberían contribuir a la aplicación efectiva de IEC 62340. Los aspectos de confiabilidad relacionados con la calificación ambiental, el envejecimiento o la degradación física no están cubiertos por esta norma. Otras normas, en particular IEC 60987, IEC 60780 e IEC 62342, abordan estos temas. La sección 5.7 de IEC 60880:2006 proporciona requisitos de seguridad aplicables al desarrollo de HPD.
IEC 62566:2012 Documento de referencia
IEC 60050-521:2002 Vocabulario electrotécnico internacional - Parte 521: Dispositivos semiconductores y circuitos integrados
IEC 60671 Centrales nucleares - Sistemas de instrumentación y control importantes para la seguridad - Pruebas de vigilancia
IEC 60880:2006 Centrales nucleares - Sistemas de instrumentación y control importantes para la seguridad - Aspectos de software para sistemas informáticos que desempeñan funciones de categoría A
IEC 60987:2007 Centrales nucleares - Instrumentación y control importantes para la seguridad - Requisitos de diseño de hardware para sistemas basados en computadora
IEC 61508-1 Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad - Parte 1: Requisitos generales
IEC 61508-2 Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad - Parte 2: Requisitos para sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad
IEC 61508-4 Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad - Parte 4: Definiciones y abreviaturas
IEC 61513:2011 Centrales nucleares - Instrumentación y control importantes para la seguridad - Requisitos generales para los sistemas
IEC 62138 Centrales nucleares - Sistemas de instrumentación y control importantes para la seguridad - Aspectos de software para sistemas informáticos que realizan funciones de categoría B o C*, 2018-07-31 Actualizar
IEC 62340 Centrales nucleares - Sistemas de instrumentación y control importantes para la seguridad - Requisitos para hacer frente a fallos por causa común (CCF)
IEEE 1076.4 Lenguajes de comportamiento Parte 5: Especificación de modelado VITAL ASIC (circuito integrado de aplicación específica) (Documento IEEE Computer Society)
IEEE 1364 Lenguaje de descripción de hardware estándar de Verilog (documento de la IEEE Computer Society)*, 2026-04-01 Actualizar
IEEE 1666 IEEE Standard para el Manual de Referencia del Lenguaje SystemC® Estándar -- Corrigendum 1*, 2025-03-14 Actualizar
IEEE 1800 Estándar IEEE para SystemVerilog: lenguaje de verificación, especificación y diseño de hardware unificado*, 2023-01-01 Actualizar
ISO 9001 Sistemas de gestión de la calidad - Requisitos [Versión en español]
ISO/IEC 25000 Ingeniería de sistemas y software - Requisitos de calidad y evaluación de sistemas y software (SQuaRE) - Guía de SQuaRE*, 2014-03-01 Actualizar
IEC 62566:2012 Historia
2012IEC 62566:2012 Centrales nucleares - Instrumentación y control importantes para la seguridad - Desarrollo de circuitos integrados programados en HDL para sistemas que realizan funciones de categoría A