核电厂数字化安全级仪控系统软件V&V方法研究
软件在核电厂的设计、制造和操作运行中起着日益重要的作用，而差错和拙劣的软件 的确存在。因此，必须确保在计算机设备上运行的软件与硬件配合，该软件必须与预期的目 的相符。计算机程序中所应用的数学模型必须是该物理问题的正确表达。所采用的算法必须 保持所需的数据准确性，而不会带来数据的不稳定性。本文遵循IEC60880、IEEE1012 以及 IAEA 的出版的安全级软件的验证与确认导则，侧重研究核级软件验证与确认中的通用方法 与工作思路并以国内某核电厂安全级仪控软件验证与确认过程为例，详细介绍其执行过程与 输入输出结果。
核电厂数字化软件 安全级仪控 软件验证与确认
刘真 江国进 孙永滨 黄伟军
深圳中广核工程设计有限公司仪控所,中国深圳,518045
国内会议
北京
中文
536-543
2011-05-26（万方平台首次上网日期，不代表论文的发表时间）