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
    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
    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
    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
    Ye Cheng
    Ni Chao
    Zheng Tian
    Zhang Zhicheng
    Zhang Ronghua
    PROGRESS IN NUCLEAR ENERGY, 2014, 70 : 128 - 133
  • [25] Discussion on software aging management of nuclear power plant safety digital control system
    Liang, Huihui
    Gu, Pengfei
    Tang, Jianzhong
    Chen, Weihua
    Gao, Feng
    SPRINGERPLUS, 2016, 5
  • [26] Method and application for internal flooding deterministic safety assessment of nuclear power plant
    Tang, Xiao-Ming
    Liu, Xiao-Shuang
    Lv, Xing-Bing
    Tang, Juan-Ke
    Zhu, He
    Tang, X.-M., 1600, Atomic Energy Press (48): : 662 - 666
  • [27] MEADEP and its application in dependability analysis for a nuclear power plant safety system
    Tang, D
    Hecht, M
    An, XG
    Brill, R
    1997 IEEE NUCLEAR SCIENCE SYMPOSIUM - CONFERENCE RECORD, VOLS 1 & 2, 1998, : 916 - 920
  • [28] MEADEP and its application in dependability analysis for a nuclear power plant safety system
    Tang, D
    Hecht, M
    An, XG
    Brill, R
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1998, 45 (03) : 1014 - 1021
  • [29] QUALITY ASSURANCE FORA NUCLEAR POWER PLANT SIMULATOR BY APPLYING STANDARDS FOR SAFETY-CRITICAL SOFTWARE
    Ye Cheng
    Ni Chao
    Zheng Tian
    Zhang Zhicheng
    Zhang Ronghua
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING - 2013, VOL 3, 2014,
  • [30] SAFETY REQUIREMENTS FOR NUCLEAR-POWER STATIONS .2. GUARANTEE OF ENVIRONMENTAL-PROTECTION IN PLANT OPERATIONS
    HANDGE, P
    ATOMWIRTSCHAFT-ATOMTECHNIK, 1977, 22 (03): : R2 - &
12345