Reply to "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application"

被引：0
|
作者：
Son, HS [1 ]
Seong, PH
机构：
[1] Korea Atom Energy Res Inst, IC & HF Res Div, Taejon 305353, South Korea
[2] Korea Adv Inst Sci & Technol, Dept Nucl & Quantum Engn, Taejon 305701, South Korea
来源：
RELIABILITY ENGINEERING & SYSTEM SAFETY | 2004年 / 83卷 / 01期
关键词：
D O I：
10.1016/j.ress.2003.09.019
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：123 / 123
页数：1
相关论文
共 11 条
  • [1] Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
    Kim, T
    Cha, SS
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2004, 83 (01) : 121 - 122
  • [2] Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
    Son, HS
    Seong, PH
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2003, 80 (01) : 19 - 32
  • [3] VERIFICATION METHOD OF SOFTWARE FOR MICROPROCESSOR-BASED PROTECTION SYSTEM OF NUCLEAR-POWER PLANTS
    SUZUKI, S
    NAGAOKA, Y
    IZUMI, S
    ITO, T
    JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, 1989, 26 (03) : 313 - 320
  • [4] Verification and validation optimization method for signal quality bits in digital control system application software of nuclear power plant
    Wang, Lingzhi
    Wu, Yichun
    KERNTECHNIK, 2024, 89 (03) : 301 - 315
  • [5] Verification of Safety in Safety Critical Computer-Based Systems: A Case Study of Nuclear Power Plant System
    Singh, Lalit
    Rajput, Hitesh
    NUCLEAR TECHNOLOGY, 2016, 195 (03) : 301 - 309
  • [6] Criticality analysis for safety-critical software in nuclear power plant distributed control system
    Cui, J.
    Cai, Y.
    Wu, Y.
    KERNTECHNIK, 2021, 86 (05) : 343 - 352
  • [7] Development and application of nuclear power plant operational safety performance indicator system
    Chen, Lu
    Zhang, Binbin
    Zhang, Qinfang
    Hedongli Gongcheng/Nuclear Power Engineering, 2014, 35 (04): : 78 - 81
  • [8] The software V&V tasks for a safety-critical software based protection system in nuclear power plants
    Cheon, S. W.
    Park, G. Y.
    Cha, K. H.
    Lee, J. S.
    Kwon, K. C.
    2005 IEEE International Conference on Industrial Technology - (ICIT), Vols 1 and 2, 2005, : 366 - 371
  • [9] Software Requirement Evaluation Method for Safety I&C System of Nuclear Power Plant
    Tang, Jian-Zhong
    Gu, Peng-Fei
    Wang, Sheng-Chao
    He, Ya-Nan
    Chen, Wei-Hua
    NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2018, 455 : 240 - 247
  • [10] Safety Assessment for Power Uprate in the Nuclear Power Plant Using a System Dynamics (SD) Method by Monte Carlo Software
    Woo, T. H.
    ENERGY SOURCES PART A-RECOVERY UTILIZATION AND ENVIRONMENTAL EFFECTS, 2015, 37 (06) : 649 - 654
12