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 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] 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 - +
  • [6] 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
  • [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] 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
12345