Software V&V methods for digital plant protection system

被引：0
|
作者：
Kim, HJ [1 ]
Han, JB [1 ]
Chun, CS [1 ]
Kim, S [1 ]
Kim, KJ [1 ]
机构：
[1] Korea Power Engn Co Inc, KOPEC, Instrumentat & Control Syst Engn Dept, Yu Sung Gu, Teajeon, South Korea
来源：
PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2 | 1997年
关键词：
D O I：
暂无
中图分类号：
TL [原子能技术]; O571 [原子核物理学];
学科分类号：
0827 ; 082701 ;
摘要：
Careful thought must be given to software design in the development of digital based systems that play a critical role in the successful operation of nuclear power plants. To evaluate the software verification and validation methods as well as to verify its system performance capabilities for the upgrade instrumentation and control system in the Korean future nuclear power plants, the prototype Digital Plant Protection System (DPPS) based on the Programmable Logic Controller (PLC) has been constructed. The system design description and features are briefly presented, and the software design and software verification and validation methods are focused.
引用
收藏
页码：796 / 801
页数：2
相关论文
共 50 条
  • [31] Design and Development on Full Scope V&V Simulator of Nuclear Power Plant
    Gao, Qiang
    Zhou, Kefeng
    Yang, Sengai
    Mao, Huan
    Zhu, Jia
    FRONTIERS OF MANUFACTURING AND DESIGN SCIENCE IV, PTS 1-5, 2014, 496-500 : 1385 - 1389
  • [32] 基于V&V立方体的V&V活动管理方法
    郑利平
    刘晓平
    系统仿真学报 , 2010, (06) : 1331 - 1336
  • [33] Functiemix V&V in het verpleeghuis
    ANKE PERSOON
    RACHIDA HANDOR
    MARLEEN LOVINK
    TVZ - Verpleegkunde in praktijk en wetenschap, 2021, 131 (3) : 16 - 18
  • [34] Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems
    Bauer, Thomas
    Herzner, Wolfgang
    Hruska, Bob
    Di Blasio, Katia
    Shahwar, Zain
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 239 - 242
  • [35] Metrics for V&V of cyber defenses
    Feather, Martin S.
    Wilf, Joel M.
    Priest, Joseph
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2016, 12 (02) : 81 - 94
  • [36] 3.5.1 System Engineering in System Avionics: V&V of ARROW-2 Program
    Kagan, Jakob
    Levy, Boaz
    INCOSE International Symposium, 2001, 11 (01) : 745 - 750
  • [37] Determination and propagation of credibility in V&V activities
    Köster, A
    MODELLING AND SIMULATION 2002, 2002, : 262 - 266
  • [38] FANGJIASHAN NUCLEAR POWER PLANT UNIT1 FUEL HANDLING AND STORAGE SYSTEM (PMC) V&V OVERVIEW
    Ma Gang
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING - 2013, VOL 5, 2014,
  • [39] A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software
    Miao, Weikai
    Yan, Qianqian
    Huang, Yihao
    Feng, Jincao
    Zheng, Hanyue
    2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 15 - 22
  • [40] Optimizing the V&V Process for Critical Systems
    Kiper, James D.
    Feather, Martin S.
    Richardson, Julian
    GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1139 - 1139
12345