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 条
[21]   Software safety analysis of digital protection system requirements using a qualitative formal method [J].
Lee, JS ;
Kwon, KC ;
Cha, SD .
NUCLEAR TECHNOLOGY, 2004, 147 (02) :227-239
[22]   DEVELOPMENT OF A SYSTEM OF AUTOMATED SUPERVISION, PROTECTION AND REGULATION IN A NUCLEAR POWER PLANT [J].
CALCAGNO, M ;
FOTI, G ;
GARAGNAN.G .
ELETTROTECNICA, 1969, 56 (8A) :508-&
[23]   Research for Emergency Communication System Design in Nuclear Power Plant Based on Safety Requirements [J].
Chen, Jiaorong ;
Wang, Tianyu ;
Du, Yue ;
Zhai, Shouyang .
2019 IEEE 11TH INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS (ICCSN 2019), 2019, :722-725
[24]   Quality assurance for a nuclear power plant simulator by applying standards for safety-critical software [J].
Ye Cheng ;
Ni Chao ;
Zheng Tian ;
Zhang Zhicheng ;
Zhang Ronghua .
PROGRESS IN NUCLEAR ENERGY, 2014, 70 :128-133
[25]   To improve safety and reliability of nuclear power plant with parallel system method [J].
Xiong, Gang ;
Wang, Fei-Yue ;
Hou, Jia-Chen ;
Dong, Xi-Song ;
Zhang, Jia-Lin ;
Fu, Man-Chang .
Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2012, 32 (05) :1018-1026
[26]   Discussion on software aging management of nuclear power plant safety digital control system [J].
Liang, Huihui ;
Gu, Pengfei ;
Tang, Jianzhong ;
Chen, Weihua ;
Gao, Feng .
SPRINGERPLUS, 2016, 5
[27]   Automatic Generation Method of DCS System Algorithm Software in Nuclear Power Plant [J].
Huang, Jun ;
Li, Xiaolong ;
Zhao, Yang ;
Wu, Yanqun .
Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2018, 52 :31-35
[28]   Method and application for internal flooding deterministic safety assessment of nuclear power plant [J].
Tang, Xiao-Ming ;
Liu, Xiao-Shuang ;
Lv, Xing-Bing ;
Tang, Juan-Ke ;
Zhu, He .
Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2014, 48 (04) :662-666
[29]   MEADEP and its application in dependability analysis for a nuclear power plant safety system [J].
Tang, D ;
Hecht, M ;
An, XG ;
Brill, R .
1997 IEEE NUCLEAR SCIENCE SYMPOSIUM - CONFERENCE RECORD, VOLS 1 & 2, 1998, :916-920
[30]   MEADEP and its application in dependability analysis for a nuclear power plant safety system [J].
Tang, D ;
Hecht, M ;
An, XG ;
Brill, R .
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1998, 45 (03) :1014-1021
12345