[Liu, Zhaohui; Yang, Xiaohua] School of Computer Science and Technology, University of South China, Hengyang, 421001, China
[Liao, Longtao; Wu, Zhiqiang] Science and Technology on Reactor System Design Technology Laboratory, Nuclear Power Institute of China, Chengdu, 610041, China
语种：
英文
关键词：
Application programs;Computer software selection and evaluation;Control systems;Cost effectiveness;Digital control systems;Failure analysis;Fault tree analysis;Hazards;Nuclear energy;Nuclear engineering;Nuclear power plants;Outages;Process control;Software design;Document evaluation;Instrumentation and control;Process control software;Regulating systems;Safety assurance;SFTA;Software fault tree analysis;Software safety analysis;Safety engineering
期刊：
International Conference on Nuclear Engineering, Proceedings, ICONE
年：
2015
卷：
2015-January
会议名称：
23rd International Conference on Nuclear Engineering: Nuclear Power - Reliable Global Energy, ICONE 2015
会议时间：
17 May 2015 through 21 May 2015
会议地点：
Chiba, Japan
会议主办单位：
(1) School of Computer Science and Technology, University of South China, Hengyang; 421001, China; (2) Science and Technology on Reactor System Design Technology Laboratory, Nuclear Power Institute of China, Chengdu; 610041, China
会议赞助商：
et al.;GLSEQ, LLC/SCI Technologies. Inc;Hitachi-GE Nuclear Energy, Ltd.;Mitsubishi Heavy Industries, Ltd. (MHI);Toshiba Corporation;Westinghouse Electric Company
出版者：
American Society of Mechanical Engineers (ASME)
机构署名：
本校为第一机构
院系归属：
计算机科学与技术学院
摘要：
The digitalized Instrumentation and Control (I&C) system of Nuclear power plants can provide many advantages. However, digital control systems induce new failure modes that differ from those of analog control systems. While the cost effectiveness and flexibility of software is widely recognized, it is very difficult to achieve and prove high levels of dependability and safety assurance for the functions performed by process control software, due to the very flexibility and potential complexity of the software itself. Software safety analysis (S...
