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 条
[41]   Development of a software tool for economic evaluation of health, safety, and environmental initiatives in a combined cycle power plant [J].
Miri, Hossein ;
Gholamnia, Reza ;
Bagheri, Amin ;
Saeedi, Reza .
ENVIRONMENTAL HEALTH ENGINEERING AND MANAGEMENT JOURNAL, 2023, 10 (02) :197-205
[42]   Research on Wireless Location Technology of Nuclear Power Plant and Discussion for Physical Protection System Application [J].
Ye, Lin ;
Chen, Hua-Ping ;
Li, Shuang ;
Wu, Wen-Fei .
NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2017, 400 :87-93
[43]   Application Analysis for "Bypass Function" of Digital Reactor Protection System in Zhangzhou Nuclear Power Plant [J].
Peng, Peixing ;
Lu, Weiwei ;
Wu, Chenlu ;
Qiu Bingxian ;
Hong, Shixin .
NEW ENERGY POWER GENERATION AUTOMATION AND INTELLIGENT TECHNOLOGY, SICPNPP 2024, VOL 1, 2024, 1249 :119-130
[44]   Design and development of virtual machine software for safety control system TXS in nuclear power plants [J].
Leng, Shan ;
Liu, Chun ;
Li, Shu ;
Cheng, Jun-Jie ;
Zhang, Cai-Ke .
Hedongli Gongcheng/Nuclear Power Engineering, 2012, 33 (02) :15-20
[45]   Design verification enhancement of field programmable gate array-based safety-critical I&C system of nuclear power plant [J].
Ahmed, Ibrahim ;
Jung, Jaecheon ;
Heo, Gyunyoung .
NUCLEAR ENGINEERING AND DESIGN, 2017, 317 :232-241
[46]   EXPERIENCE FROM QUALITY ASSURANCE IN NUCLEAR-POWER PLANT-PROTECTION SYSTEM SOFTWARE-VALIDATION [J].
THOMAS, NC ;
REEVES, HL .
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1980, 27 (01) :899-908
[47]   V&V-based remaining fault estimation model for safety-critical software of a nuclear power plant [J].
Eom, Heung-seop ;
Park, Gee-yong ;
Jang, Seung-cheol ;
Son, Han Seong ;
Kang, Hyun Gook .
ANNALS OF NUCLEAR ENERGY, 2013, 51 :38-49
[48]   Development of wall thinning screening system and its application to a commercial nuclear power plant [J].
Ryu, Kyung Ha ;
Hwang, Ii Soon ;
Kim, Ji Hyun .
NUCLEAR ENGINEERING AND DESIGN, 2013, 265 :591-598
[49]   TASK-ANALYSIS IN SUPPORT OF THE DESIGN AND DEVELOPMENT OF A NUCLEAR-POWER-PLANT SAFETY SYSTEM [J].
UMBERS, JG ;
REIERSEN, CS .
ERGONOMICS, 1995, 38 (03) :443-454
[50]   The combination method of functional failure and device fault for passive safety system in nuclear power plant [J].
Yu, Yu ;
Liu, Guanyu ;
Zhang, Mingzhu ;
Niu, Fenglei ;
Guo, Zhangpeng .
ANNALS OF NUCLEAR ENERGY, 2022, 169
12345