论文部分内容阅读
软件在核电厂的设计、制造和操作运行中起着日益重要的作用，而差错和拙劣的软件 的确存在。因此，必须确保在计算机设备上运行的软件与硬件配合，该软件必须与预期的目 的相符。计算机程序中所应用的数学模型必须是该物理问题的正确表达。所采用的算法必须 保持所需的数据准确性，而不会带来数据的不稳定性。本文遵循IEC60880、IEEE1012 以及 IAEA 的出版的安全级软件的验证与确认导则，侧重研究核级软件验证与确认中的通用方法 与工作思路并以国内某核电厂安全级仪控软件验证与确认过程为例，详细介绍其执行过程与 输入输出结果。