期刊文献+

数字化反应堆保护系统软件V&V危害分析技术研究 被引量:1

Research on V&V Hazard Analysis Technology of Digital Reactor Protection System Software
下载PDF
导出
摘要 反应堆保护系统采用数字化技术,其软件的安全性与可靠性需要重点关注。在保护系统软件生命周期各阶段验证和确认(V&V)过程中,对软件进行危害分析,以检查、分析和确定软件可能存在的危害、危害可能造成的事故以及可能的影响和安全控制措施,具有非常重要的意义。危害分析通常综合采用初步危害分析表、初步危害分析、事件树分析、失效模式及影响分析、故障树分析、概率风险评估等技术。本文结合某在建实验堆工程项目数字化保护系统实践,研究这些危害分析技术的使用方法。结果表明,危害分析技术的综合使用可有效缓解或防止软件造成系统危害的风险,提高保护系统的软件安全性。 The safety and reliability of digital reactor protection system software need to be focused.In the verification and validation(V&V)process of each stage of software life cycle of protection system,it is of great significance to carry out hazard analysis on software to check,analyze and determine the possible hazards of software,the accidents caused by hazards,the possible impacts and safety control measures.Generally,technologies such as preliminary hazard analysis table,preliminary hazard analysis,event tree analysis,failure mode and effect analysis,fault tree analysis and probabilistic risk assessment were adopted.Combined with the practice of digital protection system in an experimental reactor project,the application methods of these hazard analysis technologies were explained.The results show that the comprehensive use of hazard analysis technology can effectively alleviate or prevent the risk of system hazards caused by software and the software safety of protection system is improved.
作者 段晓 王钊 高婷 毛欢 DUAN Xiao;WANG Zhao;GAO Ting;MAO Huan(Division of Reactor Engineering Technology Research,China Institute of Atomic Energy,Beijing 102413,China;Zhejiang SUPCON Technology Co.,Ltd.,Hangzhou 310053,China;Nuclear and Radiation Safety Center,Ministry of Ecology and Environment,Beijing 102401,China)
出处 《原子能科学技术》 EI CAS CSCD 北大核心 2021年第S01期104-111,共8页 Atomic Energy Science and Technology
关键词 数字化反应堆保护系统 软件 危害分析 digital reactor protection system software hazard analysis
  • 相关文献

参考文献3

二级参考文献19

  • 1颜兆林,龚时雨.集成系统的软件安全分析[J].计算机工程,2005,31(12):141-142. 被引量:4
  • 2The Institute of Electrical and Electronics Engineers,Inc. IEEE std. 1012 -2004 IEEE Standard for Soft- ware Verification and Validation [ S ]. New York, 2004.
  • 3The Institute of Electrical and Electronics Engineers, Ine. IEEE std. 1012 - 1986 IEEE Standard for Soft- ware Verification and Validation Plans [ S ]. New York, 1986.
  • 4The Institute of Electrical and Electronics Engineers, Inc. IEEE std. 1059 - 1993 IEEE Guide for Software Verification and Validation Plans [ S ]. New York, 1993.
  • 5The Institute of Electrical and Electronics Engineers, Inc. IEEE std. 1012 - 1998 IEEE Standard for Soft- ware Verification and Vahdation [ S ]. New York, 1998.
  • 6The Institute of Electrical and Electronics Engineers, Inc. IEEE std. 1012 -2012 IEEE Standard for Sys- tem and Software Verification and Validation [ S ]. New York,2012.
  • 7International Electrotechnical Commission. CEI/IEC 60880- 2006 Nuclear power plants Instrumentation and control systems important to safety Software as-pects for computer - based systems performing catego- ry A functions [ S ]. Switzerland,2006.
  • 8国家核安全局.核安全导则HAD102/16-2004核动力厂基于计算机的安全重要系统软件[S],北京,2004.
  • 9International Electrotechnical Commission. CEI/IEC 61226 -2005 Nuclear power plants Instrumentation and control systems important to safety Classification of instrumentation and control functions [ S ]. Switzer- land, 2005.
  • 10International Electrotechnical Commission. CEI/IEC 62138- 2004 Nuclear power plants Instrumentation and control systems important to safety Software as- pects for computer -based systems performing catego- ry B or C functions[ S]. Switzerland,2004.

共引文献10

同被引文献11

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部