The software V&V tasks for a safety-critical software based protection system in nuclear power plants

被引：0
|
作者：
Cheon, S. W. [1 ]
Park, G. Y. [1 ]
Cha, K. H. [1 ]
Lee, J. S. [1 ]
Kwon, K. C. [1 ]
机构：
[1] Korea Atom Energy Res Inst, Taejon 305353, South Korea
来源：
2005 IEEE International Conference on Industrial Technology - (ICIT), Vols 1 and 2 | 2005年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper introduces the software life-cycle based V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop the programmable logic controller (PLC) for safety-critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of the safety-critical software based digital protection system in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to a software life-cycle management. A number of software V&V tools have been adopted or developed to support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, the requirement traceability analysis, a formal specification and verification, a lifecycle based software testing, a software safety analysis, and a software configuration management.
引用
收藏
页码：366 / 371
页数：6
相关论文
共 50 条
  • [21] Safety critical software in nuclear power
    Welbourne, D
    GEC JOURNAL OF TECHNOLOGY, 1997, 14 (01): : 33 - 40
  • [22] Nuclear safety-critical Digital Instrumentation and Control system software: Reliability demonstration
    Guo Jia
    Yang Ming
    Zou Bowen
    Zhang Yuxin
    Yang Jun
    Dai Xinyu
    ANNALS OF NUCLEAR ENERGY, 2018, 120 : 516 - 527
  • [23] Software FMEA for Safety-Critical System Based on Co-analysis of System Model and Software Model
    Li, Guoqi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (12): : 3101 - 3105
  • [24] Validation and verification (V&V) of safety-critical systems operating under off-nominal conditions
    Belcastro, Christine M.
    Lecture Notes in Control and Information Sciences, 2012, 416 : 399 - 419
  • [25] An Approach for automated safety testing of safety-critical software system based on safety requirements
    Yu, Gang
    Xu, Zhong Wei
    Du, Jun Wei
    2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 166 - 169
  • [26] 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
  • [27] Model checking of safety-critical software in the nuclear engineering domain
    Lahtinen, J.
    Valkonen, J.
    Bjorkman, K.
    Frits, J.
    Niemela, I.
    Heljanko, K.
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2012, 105 : 104 - 113
  • [28] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
  • [29] A software diversity model for embedded safety-critical system
    Wang, Haifeng
    Liang, Nan
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND INFORMATION SYSTEMS, 2009, : 106 - 109
  • [30] Model of a Hybrid Electrical System for Software and System V&V on Hardware In the Loop Test Bench
    Lachaize, Jerome
    Lamamy, Romain
    Verdier, Damien
    IFAC PAPERSONLINE, 2017, 50 (01): : 7863 - 7868
12345