Reliability modeling of safety-critical network communication in a digitalized nuclear power plant

被引:16
|
作者
Lee, Sang Hun [1 ]
Kim, Hee Eun [1 ]
Son, Kwang Seop [1 ,2 ]
Shin, Sung Min [1 ]
Lee, Seung Jun [3 ]
Kang, Hyun Gook [1 ]
机构
[1] Korea Adv Inst Sci & Technol, Dept Nucl & Quantum Engn, Daejeon 305701, South Korea
[2] Korea Atom Energy Res Inst, I&C Human Factors Res Div, Daejeon 305353, South Korea
[3] Korea Atom Energy Res Inst, Integrated Safety Assessment Div, Daejeon 305353, South Korea
基金
新加坡国家研究基金会;
关键词
Nuclear power plant; Digital I&C system; Safety-critical network communication; Fault-tree modeling; SYSTEMS;
D O I
10.1016/j.ress.2015.07.029
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
The Engineered Safety Feature-Component Control System (ESF-CCS), which uses a network communication system for the transmission of safety-critical information from group controllers (GCs) to loop controllers (LCs), was recently developed. However, the ESF-CCS has not been applied to nuclear power plants (NPPs) because the network communication failure risk in the ESF-CCS has yet to be fully quantified. Therefore, this study was performed to identify the potential hazardous states for network communication between GCs and LCs and to develop quantification schemes for various network failure causes. To estimate the risk effects of network communication failures in the ESF-CCS, a fault-tree model of an ESF-CCS signal failure in the containment spray actuation signal condition was developed for the case study. Based on a specified range of periodic inspection periods for network modules and the baseline probability of software failure, a sensitivity study was conducted to analyze the risk effect of network failure between GCs and LCs on ESF-CCS signal failure. This study is expected to provide insight into the development of a fault-tree model for network failures in digital I&C systems and the quantification of the risk effects of network failures for safety-critical information transmission in NPPs. (C) 2015 Elsevier Ltd. All rights reserved.
引用
收藏
页码:285 / 295
页数:11
相关论文
共 50 条
  • [31] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
  • [32] Platform modeling in safety-critical embedded systems
    Huber, Bernhard
    Obermaisser, Roman
    Lecture Notes in Electrical Engineering, 2009, 38 : 145 - 158
  • [33] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [34] Traceable Threat Modeling for Safety-critical Systems
    Geismann, Johannes
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 41 - 42
  • [35] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [36] Adaptive Network Management for Safety-Critical Systems
    Perner, Cora
    Kinkelin, Holger
    Carle, Georg
    2019 IFIP/IEEE SYMPOSIUM ON INTEGRATED NETWORK AND SERVICE MANAGEMENT (IM), 2019,
  • [37] Vehicle-to-Vehicle Communication: Fair Transmit Power Control for Safety-Critical Information
    Torrent-Moreno, Marc
    Mittag, Jens
    Santi, Paolo
    Hartenstein, Hannes
    IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2009, 58 (07) : 3684 - 3703
  • [38] Modeling for reliability of pressurizer safety valve in nuclear power facilities
    Huang, Yan
    Zhou, Mi
    Luo, Zhi-Yuan
    Li, Xiao-Zhong
    Wang, Guang-Jin
    Hedongli Gongcheng/Nuclear Power Engineering, 2008, 29 (05): : 77 - 79
  • [39] On the design of communication protocols for safety-critical automotive applications
    Bridal, Olof
    Snedsbol, Rolf
    Johansson, Lars-Ake
    Doktorsavhandlingar vid Chalmers Tekniska Hogskola, 1997, (1264): : 1 - 5
  • [40] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193