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 条
[31]   Model-Based Development and Verification of Nuclear Power Plant Operator Supporting System [J].
Hou D. ;
Huang J. ;
Wang W. ;
Shen Y. .
Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2018, 52 :46-52
[32]   QUALITY ASSURANCE FORA NUCLEAR POWER PLANT SIMULATOR BY APPLYING STANDARDS FOR SAFETY-CRITICAL SOFTWARE [J].
Ye Cheng ;
Ni Chao ;
Zheng Tian ;
Zhang Zhicheng ;
Zhang Ronghua .
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING - 2013, VOL 3, 2014,
[33]   SAFETY REQUIREMENTS FOR NUCLEAR-POWER STATIONS .2. GUARANTEE OF ENVIRONMENTAL-PROTECTION IN PLANT OPERATIONS [J].
HANDGE, P .
ATOMWIRTSCHAFT-ATOMTECHNIK, 1977, 22 (03) :R2-&
[34]   A verification and validation method and its application to digital safety systems in ABWR nuclear power plants [J].
Fukumoto, A ;
Hayashi, T ;
Nishikawa, H ;
Sakamoto, H ;
Tomizawa, T ;
Yokomura, T .
NUCLEAR ENGINEERING AND DESIGN, 1998, 183 (1-2) :117-132
[35]   Research and practice of application software verification and validation for nuclear safety digital I&C system [J].
Dong, Ya-Xin ;
Xu, Xian-Zhu ;
Bai, Xiang-Ji .
Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2014, 48 :1113-1118
[36]   Component-based development and verification of safety critical software for a Brake-by-Wire System with synchronous software components [J].
Gunzert, M ;
Nägele, A .
INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, :134-145
[37]   Safety Critical Software Development - Extending Quality Management System Practices to Achieve Compliance with Regulatory Requirements [J].
Bujok, Andrzej Beniamin ;
MacMahon, Silvana Togneri ;
McCaffery, Fergal ;
Whelan, Dick ;
Mulcahy, Bernard ;
Rickard, William J. .
SOFTWARE PROCESS IMPROVEMENT AND CAPABILITY DETERMINATION (SPICE 2016), 2016, 609 :17-30
[38]   Discussion on Application of FPGA Technology in Safety Instrument and Control System of Nuclear Power Plant [J].
Yang, Jing-Yuan ;
Wu, Qi ;
Wang, Xin-Yu ;
Han, Shao-Hua .
NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2018, 455 :94-101
[39]   Application of Unit Transient Method in Fatigue Monitoring System of Nuclear Power Plant [J].
Liu L. ;
Ling J. ;
Cao L.-S. ;
He D.-Y. .
Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2017, 51 (06) :1051-1058
[40]   Security Analysis of Safety Critical and Control Systems: A Case Study of a Nuclear Power Plant System [J].
Kaur, Raj Kamal ;
Singh, Lalit Kumar ;
Pandey, Babita .
NUCLEAR TECHNOLOGY, 2017, 197 (03) :296-307
12345