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

被引：1
|
作者：
Kim, T [1 ]
Cha, SS
机构：
[1] Korea Adv Inst Sci & Technol, Div Comp Sci, Dept EECS, Taejon 305701, South Korea
[2] Korea Adv Inst Sci & Technol, AITRC, Taejon 305701, South Korea
来源：
RELIABILITY ENGINEERING & SYSTEM SAFETY | 2004年 / 83卷 / 01期
关键词：
D O I：
10.1016/j.ress.2003.09.002
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：121 / 122
页数：2
相关论文
共 50 条
  • [1] 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"
    Son, HS
    Seong, PH
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2004, 83 (01) : 123 - 123
  • [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] Development of Safety Software for the Paks Nuclear Power Plant
    Bartha, Tamas
    Varga, Istvan
    ERCIM NEWS, 2008, (75): : 53 - 54
  • [4] 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
  • [5] 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
  • [6] Safety analysis of safety-critical software for nuclear digital protection system
    Park, Gee-Yong
    Lee, Jang-Soo
    Cheon, Se-Woo
    Kwon, Kee-Choon
    Jee, Eunkyoung
    Koh, Kwang Yong
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 148 - +
  • [7] 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
  • [8] 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
  • [9] A formal software requirements specification method for digital nuclear plant protection systems
    Yoo, J
    Kim, T
    Cha, S
    Lee, JS
    Son, HS
    JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 74 (01) : 73 - 83
  • [10] 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
12345