A verification and validation method and its application to digital safety systems in ABWR nuclear power plants

被引：6
|
作者：
Fukumoto, A
Hayashi, T
Nishikawa, H
Sakamoto, H
Tomizawa, T
Yokomura, T
机构：
[1] Power & Ind Syst Res & Dev Ctr, Comp Control Syst Technol Grp, Fuchu, Tokyo 183, Japan
[2] Toshiba Corp, Power Generat Control Syst Dev Dept, Nucl Power Generat Control Syst Designing Grp 1, Fuchu Works, Fuchu, Tokyo 183, Japan
[3] Toshiba Corp, Nucl Energy Div, Nucl Control & Elect Engn Dept, Isogo Ku, Yokohama, Kanagawa 235, Japan
[4] Toshiba Corp, Nucl Energy Div, Technol Planning Dept, Chiyoda Ku, Tokyo 100, Japan
[5] Tokyo Elect Power Co Ltd, Nucl Power Engn Dept, Chiyoda Ku, Tokyo 100, Japan
来源：
NUCLEAR ENGINEERING AND DESIGN | 1998年 / 183卷 / 1-2期
关键词：
D O I：
10.1016/S0029-5493(98)00186-1
中图分类号：
TL [原子能技术]; O571 [原子核物理学];
学科分类号：
0827 ; 082701 ;
摘要：
A verification and validation (V&V) method has been developed and applied to newly developed digital safety systems for the first ABWR plant, Kashiwazaki-Kariwa unit No. 6 of the Tokyo Electric Power Company. This paper describes the method and experience gained from its application. The method was developed on the basis of domestic and foreign standards and guidelines, and covers the more concrete procedures required for actual V&V. The application of problem oriented language (POL) helps make the V&V feasible and reliable. A personal-computer-based automatic test tool for the validation test has been developed and utilized. This tool is used to carry out the pre-defined validation test procedure automatically and produce a test report, and it was found to be effective in reducing the time and manpower required for the validation test. The validation test covers dynamic transient tests in which the response of the digital safety system against the simulated design based transients are tested. The tool enables automatic execution of the dynamic test. (C) 1998 Published by Elsevier Science S.A. All rights reserved.
引用
收藏
页码：117 / 132
页数：16
相关论文
共 50 条
  • [21] Fuzzy-Logic-Based Safety Verification Framework for Nuclear Power Plants
    Rastogi, Achint
    Gabbar, Hossam A.
    RISK ANALYSIS, 2013, 33 (06) : 1128 - 1145
  • [22] Verification method of software for microprocessor-based nuclear power plants
    Suzuki, Satoshi, 1600, (26):
  • [23] Application of SPAR-H Method in Human Reliability Analysis of Digital Nuclear Power Plants
    Qing T.
    Liu Z.
    Zhang L.
    Tang Y.
    Hu H.
    Zang J.
    Li G.
    Hedongli Gongcheng/Nuclear Power Engineering, 2021, 42 (03): : 126 - 131
  • [24] REMOTE MULTIPLEXING FOR DIGITAL SYSTEMS IN NUCLEAR-POWER PLANTS
    DYE, MM
    FLING, J
    WINARSKI, C
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1973, NS20 (01) : 761 - 766
  • [25] Safety for nuclear power plants
    Heller, W
    ATW-INTERNATIONAL JOURNAL FOR NUCLEAR POWER, 2004, 49 (8-9): : 564 - +
  • [26] SAFETY IN NUCLEAR POWER PLANTS
    LYERLY, RL
    COMBUSTION, 1970, 42 (06): : 24 - &
  • [27] Exhaustive test cases for the software reliability of safety-critical digital systems in nuclear power plants
    Cho, Jaehyun
    Shin, Sung Min
    Lee, Seung Jun
    Jung, Wondea
    NUCLEAR ENGINEERING AND DESIGN, 2019, 352
  • [28] The Monitoring Path Forecasting Method in Digital Main Control Room of Nuclear Power Plant and its Verification
    Hu, Hong
    Zhang, Li
    Liao, Kebing
    Yi, Cannan
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT 2014, 2015, : 365 - 369
  • [29] VERIFICATION AND VALIDATION FOR SYSTEMS IMPORTANT TO SAFETY
    THOMAS, NC
    DOWLING, EF
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1982, 29 (01) : 952 - 958
  • [30] Application of reactor noise methods in safety and reliability of nuclear power plants
    Kostic, L
    PROGRESS IN SAFETY SCIENCE AND TECHNOLOGY, 1998, : 680 - 688
12345