Una energía nuclear más segura gracias a tecnologías electrónicas fiables
Las centrales nucleares modernas requieren sistemas digitales de instrumentación y control (I&C) capaces de monitorizar con fiabilidad todos los aspectos operativos y de realizar ajustes de forma dinámica para garantizar la seguridad. El software de dichos sistemas requiere un método de evaluación que garantice al máximo que está exento de fallos. Por otro lado, las diferencias existentes entre los requisitos de licenciamiento que cada país adopta dificultan la tarea de definir las mejores prácticas. En el contexto del proyecto HARMONICS (Harmonised assessment of reliability of modern nuclear I&C software), financiado por la UE, cinco países europeos han colaborado con China para prestar su apoyo a la industria nuclear mediante la evaluación de software utilizado en sistemas críticos para la seguridad. Los investigadores del proyecto HARMONICS han aprovechado los resultados de dos proyectos de investigación anteriores, a saber, el proyecto CEMSIS (Cost effective modernisation of systems important to safety) y el proyecto BE-SECBS (Benchmark exercise on safety evaluation of computer based systems). También se han estudiado los requisitos y la experiencia de los usuarios finales, tanto de China como de la UE. Antes de concluir el proyecto, el equipo investigador propuso un marco estructural de verificación de software que integra métodos basados en reglas, en objetivos y en la información de riesgos. El método basado en objetivos requiere un conjunto de objetivos de partida, completo y coherente. El método basado en reglas resulta insuficiente si se aplica de manera aislada dado que no es capaz de demostrar por sí solo que un sistema sea suficientemente seguro para una aplicación determinada. Se han comprobado la aplicabilidad y aceptabilidad de cada método en una serie de estudios de caso de sistemas digitales de protección. Los resultados se han utilizado para proporcionar directrices prácticas que permitan integrar los tres métodos y conseguir una proceso sólido de verificación de sistemas digitales de I&C. Dentro del proyecto HARMONICS se ha investigado también el análisis estático de código fuente y la verificación formal. Las actividades del proyecto HARMONICS han aportado unas bases sólidas de comprobación de las tecnologías digitales de I&C que se emplean en las centrales nucleares para garantizar su eficiencia y seguridad. Cabe esperar que el licenciamiento de sistemas digitales de I&C se haga cada vez más transparente, al mismo tiempo que la armonización de sistemas de I&C entre los países europeos y más allá pueda facilitar la puesta en común de las mejores prácticas.
Palabras clave
Energía nuclear, software crítico para la seguridad, sistemas de instrumentación y control, mejores prácticas, verificación formal
