从IEEE1012的版本演变探析核电仪控软件验证与确认  

From Change of IEEE1012 to Key of Nuclear I&C Software Verification and Validation

作　　者：尹宝娟[1] 黄伟杰[1] 毛从吉[1] 张宓[1] 

机构地区：[1]环境保护部核与辐射安全中心,北京100082

出　　处：《核电子学与探测技术》2013年第10期1179-1183,共5页Nuclear Electronics & Detection Technology

摘　　要：标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键思想与新的发展重点。IEEE std. 1012 has been widely used in many industry areas. Since 1986, it has been changed three times, and the new version is released in 2012. Based on comparison and analysis of the contents of all ver- sions, integrated specific characteristic of instrument and control software used in nuclear power plants, the key factors of software Verification and Validation has been summarized.

关 键 词：验证与确认 仪控 完整性等级 系统性观点 安全保密 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]