首页 | 本学科首页   官方微博 | 高级检索  
     

核电厂DCS安全级应用软件开发的危险分析
引用本文:艾九斤,李运坚,李相建.核电厂DCS安全级应用软件开发的危险分析[J].计算机工程与设计,2012,33(6):2323-2327.
作者姓名:艾九斤  李运坚  李相建
作者单位:北京广利核系统工程有限公司,北京,100094
摘    要:为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动.采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析.通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性.

关 键 词:数字控制系统  软件开发  验证和确认  预先危险分析  故障树分析

Hazard analysis of application software development for nuclear power plant DCS safety system
AI Jiu-jin , LI Yun-jian , LI Xiang-jian.Hazard analysis of application software development for nuclear power plant DCS safety system[J].Computer Engineering and Design,2012,33(6):2323-2327.
Authors:AI Jiu-jin  LI Yun-jian  LI Xiang-jian
Affiliation:(China Techenergy Company Limited,Beijing 100094,China)
Abstract:In order to reduce or avoid the bad consequences of nuclear power plant security reduction caused by the control system software,the hazard analysis activity for the application software development process of nuclear power plant digital control system is put forward.The verification and validation method combined with the safety protection layer model,the preliminary hazard analysis,the event tree analysis model and so on is used to analyze the hazards of application software development process during the system design,software design and software realization phases.The practice of the CPR1000 project indicate that the verification and validation method can effectively reduce the hazards of software development process to enhance the security of the application software,finally the security of the nuclear power plant is enhanced.
Keywords:digital control system  software development  verification and validation  preliminary hazard analysis  event tree analysis
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号