核电厂保护系统软件危害分析辅助模型的构建方法研究.pdfVIP

第42卷第8期白动化仪表Vol.42No.8

2021年8月PROCESSAUTOMATIONINSTRUMENTATIONAug.2021

核电厂保护系统软件危害分析辅助模型的构建方法研究

张杰颖1，李亮2，张亚栋1，杜乔瑞1，张冬伟1

(1.北京广利核系统工程有限公司，北京100089;2.生态环境部核与辐射安全中心，北京102400)

摘要:危害会妨碍保护功能的执行，使核电厂处于不安全状态。软件验证中的危害分析能够探究和识别一般设计评审和测试中无

法识别的潜在危害，是提高软件质量的有效手段。为了引导分析人员全面识别危害，对保护系统结构特点、软件开发特点和软件关键

特性进行研究，提出了建立以识别潜在危害为目的的软件质量度量模型。分解由软件执行的系统功能，对分解得到的每个功能，采用

软件功能特性作为质量度董指标，再从以软件过程特性为主的几个维度判断使每个指标恶化的危害，构建多维度度量模型。该建模

方法能够系统性地引导分析人员构建模型，以便全面识别软件设计过程中引人到系统中的潜在危害。实践证明，采用该方法构建的

模型能够为后续的危害分析丁.作奠定良好的基础，对辅助危害分析具有重要意义。同时，该研究成果对于软件工程领域以提高软件

质量为目的的相似研究具有借鉴和启示意义。

关键词：核电厂；数字化保护系统；软件验证；危害分析；潜在危害；关键特性；功能分解；软件质量度量；度量模型；验证与确认

中图分类号：TH701文献标志码：AD0I：10.16086/j.cnki.issn1000-0380.2020120029

ResearchonConstructionMethodofSoftwareHazardAnalysisAidModel

forNuclearPowerPlantProtectionSystem

ZHANGJieying1,LILiang~,ZHANGYadong1,DUQiaorui1,ZHANGDongwei1

(1.ChinaTechenergyCo.,Ltd.,Beijing100089,China；2.NuclearandRadiationSafetyCenter,MEE,Beijing102400,China)

Abstract：Hazardcanobstructsafetyfunctionworkingwhichputsnuclearpowerplantinanunsafestate.Hazardanalysisin

softwareverificationcanexploreandidentifypotentialhazardsthatcannotbeidentifiedingeneraldesignreviewsandtests,andit

isaneffectivemeanstoimprovesoftwarequality.Inordertoguideanalyststocompletelyidentifyhazards,theprotectionsystem

structure,softwaredevelopmentcharacteristicsandsoftwarecriticalcharacteristicsarestudied,andasoftwarequalitymetrics

modelforidentifyingpotentialhazardsisproposed.Thesystemfunctionsassignedtothesoftwarearedecomposed.Foreach

functionobt