摘要
为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动。采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析。通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性。
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.
出处
《计算机工程与设计》
CSCD
北大核心
2012年第6期2323-2327,共5页
Computer Engineering and Design
关键词
数字控制系统
软件开发
验证和确认
预先危险分析
故障树分析
digital control system
software development
verification and validation
preliminary hazard analysis
event tree analysis
