CAJ | 학술논문

针对核电厂数字化仪控执行安全功能软件可靠性设计要求,通过对核电站数字化仪控系统软件可靠性设计的相关国内外标准法规分析,结合核电厂软件可靠性工程实践经验,从软件可靠性设计"避错"和"容错"两个维度给出了核电厂安全级软件可靠性设计的主要方法以及具体评估条款. 同时也对软件FMEA/FMECA、makov、Petri网分进行了简单说明,以期为我国核电安全级软件可靠性评估策划和实施提供借鉴.
침대핵전엄수자화의공집행안전공능연건가고성설계요구,통과대핵전참수자화의공계통연건가고성설계적상관국내외표준법규분석,결합핵전엄연건가고성공정실천경험,종연건가고성설계"피착"화"용착"량개유도급출료핵전엄안전급연건가고성설계적주요방법이급구체평고조관. 동시야대연건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.