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

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

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

RequirementsandMethodsofReliabilityDesign

forSafetyLevelSoftwareofNuclearPower

1,212

刘真胡立生白涛

12

(上海交通大学自动化系,上海200030;深圳中广核工程设计有限公司,广东深圳518172)

摘要:针对核电厂数字化仪控执行安全功能软件可靠性设计要求,通过对核电站数字化仪控系统软件可靠性设计的相关国内外标

准法规分析,结合核电厂软件可靠性工程实践经验,从软件可靠性设计“避错”和“容错”两个维度给出了核电厂安全级软件可靠性设

计的主要方法以及具体评估条款。同时也对软件FMEA/FMECA、makov、Petri网分进行了简单说明,以期为我国核电安全级软件可靠

性评估策划和实施提供借鉴。

关键词:核电厂安全级软件数字化仪控可靠性容错标准

中图分类号:TH-39;TP202文献标志码:ADOI:10.16086/j.cnki.issn1000-0380.201511031

Abstract:InaccordancewiththerequirementsofthereliabilitydesignfordigitizedICexecutionsafetyfunctionalsoftwareofnuclearpower

plant,throughanalyzingandcardingrelatedstandardsandregulationsaboutreliabilitydesignofsoftwareofdigitizedICsystemsfornuclear

powerplants,andcombiningthepracticalexperiencesofsoftwarereliabilityengineering,themajormethodsandspecificevaluationtermsof

reliabilitydesignforsafetylevelsoftwareofnuclearpowerplantaregivenfromtwodimensions,i.e.,“fault-tolerance”and“fault-avoiding”.

Inaddition,someothersoftware,e.g.,FMEA/FMECAmakov,andPetriisdescribedbriefly.Itisexpectedthatthesemayprovidereference

forplanningandimplementationofreliabilityevaluationofsafetylevelsoftwarefornuclearpowerofourcountry.

Keywords:NuclearpowerplantSecuritylevelsoftwareDigitalICReliabilityFault-avoidingStandard

和控制系统的安全等级划分为采纳标准,进行安全分

0引言

级讨论。

反应堆保护系统的数字化是信息技术高速发展时按照三代核电厂用户需求安全功能的规定,引入

代的一种不可逆转的趋势,是计算机技术应用于核电了电厂可控状态、安