核电安全级仪控系统软件VV活动及其方法研究.doc

核电安全级仪控系统软件VV活动及其方法研究 核电安全级仪控系统软件VV活动及其方法研究 核电安全级仪控系统软件VV活动及其方法研究 第 31卷 增刊 2核 科学 与工 程 V o l . 31 S u p p l . 2 2 011年 12月 C h i n e s e J o u r n a l o f N u c l e a r S c i e n c e a n d E n g i n e e r i n g D e c . 2 011核电安全级仪控系统软件 VV 活动 及其方法研究 刘 真 ,江国进 , 孙永滨 (深圳中广核工程设计有限公司 , 广东 深圳 518045 摘要 :核电厂安全级软件的安全性保 证包 括 软 件 的 安 全 开发 技 术 和 软 件 的 验证 与确 认 技 术 两 个方 面 。 按照核法规 HA F 要求 , VV 是保证软 件 的 安 全性 与可 靠 性 的 必 要步 骤 , 必 须 通 过 VV 过 程才 能 证 明和确认数 字化核级仪控产品中软件的安全性和可靠性 , 产品 才 能 被 允 许应 用 于 核 电 站 安 全 功能 的执 行 。 福岛核事故后 , 对于核电厂的 安 全性 、 可 靠 性 的要 求空 前 提 高 并 得到 各 界 的 广 泛 共 识 。本 文依 托 C P R 1000核电厂数字化仪控技术 , 描述了安全级软件 V