Verification and validation process for safety I&C systems

被引：0
|
作者：
Richter, S
Witiig, JU
机构：
来源：
NUCLEAR PLANT JOURNAL | 2003年 / 21卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TE [石油、天然气工业]; TK [能源与动力工程];
学科分类号：
0807 ; 0820 ;
摘要：
引用
收藏
页码：36 / +
页数：4
相关论文
共 50 条
  • [1] Verification of fault tolerant safety I&C systems using model checking
    Pakonen, Antti
    Buzhinsky, Igor
    [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2019, : 969 - 974
  • [2] A STUDY ON NUCLEAR PLANT SAFETY I&C SYSTEM VERIFICATION AND VALIDATION RELEVANT REGULATORY STANDARDS
    Qiao, Ning
    Feng, Yan
    Liu, Jingbin
    Lu, Yan
    Wang, Zhongqiu
    [J]. PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [3] Research and practice of application software verification and validation for nuclear safety digital I&C system
    Dong, Ya-Xin
    Xu, Xian-Zhu
    Bai, Xiang-Ji
    [J]. Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2014, 48 : 1113 - 1118
  • [4] Software maintenance for I&C systems - Important to safety
    Bock, HW
    Appaly, R
    Richter, S
    [J]. ATW-INTERNATIONALE ZEITSCHRIFT FUR KERNENERGIE, 2002, 47 (06): : 408 - +
  • [5] Safety Analysis for the Use of New Digital Safety I&C Systems
    Buehler, Cornelia
    [J]. ATW-INTERNATIONAL JOURNAL FOR NUCLEAR POWER, 2012, 57 (05): : 331 - 336
  • [6] Safety integrity requirements for computer based I&C systems
    Thuy, NNQ
    Ficheux-Vapne, F
    [J]. PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2, 1997, : 1087 - 1094
  • [7] CONFLUENT MODELING OF HETEROGENEOUS SAFETY AND OPERATIONAL I&C SYSTEMS
    Parekh, Mithil
    Gao, Yuan
    Jockenhoevel-Barttfeld, Mariana
    Waedt, Karl
    [J]. PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [8] APPLYING ENGINEERING SIMULATOR TO VERIFICATION AND VALIDATION OF DIGITAL I&C IN NUCLEAR POWER PLANT
    Lin, Meng
    Hou, Dong
    Yang, Zongwei
    Liu, Pengfei
    [J]. ICONE17, VOL 5, 2009, : 729 - 733
  • [9] US-APWR HUMAN SYSTEMS INTERFACE SYSTEM VERIFICATION & VALIDATION RESULTS: IMPACT ON DIGITAL I&C DESIGN
    Hall, Robert E.
    Easter, James
    Roth, Emilie
    Kabana, Leonard
    Mashio, Kenji
    Yugami, Kunio
    Takahashi, Koichi
    Clouser, Timothy
    [J]. ICONE17, VOL 5, 2009, : 719 - 727
  • [10] Integrated software safety analysis method for digital I&C systems
    Huang, Hui-Wen
    Shih, Chunkuan
    Yih, Swu
    Chen, Ming-Huei
    [J]. ANNALS OF NUCLEAR ENERGY, 2008, 35 (08) : 1471 - 1483
12345