核电厂控制与保护系统应用软件潜在的功能缺陷与防御措施

摘要

分析了核电厂系统功能设计、数字化仪表控制系统中软件系统设计、开发、验证与确认中产生潜在的功能缺陷的原因;阐述了缺陷的种类、可能造成的后果与影响;论述了如何通过增大核电厂系统的设计裕量、强化纵深防御、采用规范的与成熟的编程、编译与验证技术来防止人因错误与编程的缺陷,提高系统软件的可靠性与核电厂的安全性.