摘要

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

全文