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 条

[11] EFFECTIVE SOFTWARE VERIFICATION AND VALIDATION APPROACH FOR NUCLEAR POWER PLANT DIGITAL INSTRUMENTATION AND CONTROL SYSTEMS
Yang, Steve
Ding, Jun
Miao, Huifang
Zheng, Jianxiang
PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING 2010, VOL 1, 2011, : 659 - 665
[12] Application of the BEPU safety analysis method to quantify margins in nuclear power plants
Zhang, Jinzhao
Schneidesch, Christophe
NUCLEAR ENGINEERING AND DESIGN, 2023, 406
[13] 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
Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2014, 48 : 1113 - 1118
[14] VERIFICATION OF DIGITAL-COMPUTER PROGRAMS IN NUCLEAR SAFETY SYSTEMS
BERTO, DS
STARR, TM
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1981, 39 : 734 - 735
[15] Design Verification of Instrumentation and Control Systems of Nuclear Power Plants
Singh, Lalit Kumar
Vinod, Gopika
Tripathi, A. K.
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2014, 61 (02) : 921 - 930
[16] Stochastic uncertainty quantification for safety verification applications in nuclear power plants
Boafo, Emmanuel
Gabbar, Hossam A.
ANNALS OF NUCLEAR ENERGY, 2018, 113 : 399 - 408
[17] APPLICATION OF PROBABILISTIC SAFETY ASSESSMENT IN THE DESIGN OF INSTRUMENTATION AND CONTROL SYSTEMS FOR NUCLEAR POWER PLANTS
Peng, Pengyi
Liu, Weidong
Yang, Zhichao
PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 4, 2017,
[18] METHOD OF SAFETY EVALUATION IN NUCLEAR-POWER PLANTS
KURASZKIEWICZ, P
ZAHN, P
KERNENERGIE, 1988, 31 (01): : 7 - 9
[19] Application of commercial-grade digital equipment in nuclear power plant safety systems
Chiramal, M
20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2001, : 176 - 178
[20] Software and Hardware Systems in the Safety Control Systems of Nuclear Power Plants
Zverkov V.V.
Power Technology and Engineering, 2017, 51 (2) : 194 - 202

← 1 2 3 4 5 →