核电安全级软件可靠性设计标准要求及方法

Requirements and Methods of Reliability Design for Safety Level Software of Nuclear Power

针对核电厂数字化仪控执行安全功能软件可靠性设计要求,通过对核电站数字化仪控系统软件可靠性设计的相关国内外标准法规分析,结合核电厂软件可靠性工程实践经验,从软件可靠性设计"避错"和"容错"两个维度给出了核电厂安全级软件可靠性设计的主要方法以及具体评估条款。同时也对软件FMEA/FMECA、makov、Petri网分进行了简单说明,以期为我国核电安全级软件可靠性评估策划和实施提供借鉴。

In accordance with the requirements of the reliability design for digitized I&C execution safety functional software of nuclear power plant, through analyzing and carding related standards and regulations about reliability design of software of digitized I&C systems for nuclear power plants, and combining the practical experiences of software reliability engineering, the major methods and specific evaluation terms of reliability design for safety level software of nuclear power plant are given from two dimensions, i. e. ,"fault-tolerance" and"fault-avoiding". In addition, some other software, e. g. , FMEA/FMECA makov, and Petri is described briefly. It is expected that these may provide reference for planning and implementation of reliability evaluation of safety level software for nuclear power of our country.