Design verification enhancement of field programmable gate array-based safety-critical I&C system of nuclear power plant-Reference-Cited by-同舟云学术

Design verification enhancement of field programmable gate array-based safety-critical I&C system of nuclear power plant

Published:2017-06 Issue: Volume:317 Page:232-241
ISSN:0029-5493
Container-title:Nuclear Engineering and Design
language:en
Short-container-title:Nuclear Engineering and Design

Author:

Ahmed Ibrahim,Jung Jaecheon,Heo Gyunyoung

Funder

KEPCO International Nuclear Graduate School

Publisher

Elsevier BV

Subject

Mechanical Engineering,Waste Management and Disposal,Safety, Risk, Reliability and Quality,General Materials Science,Nuclear Energy and Engineering,Nuclear and High Energy Physics

Reference49 articles.

1. Ahmed, I., Jung, J., Heo, G., 2016. Design Verification Enhancement of FPGA-based Plant Protection System Trip Logics for Nuclear Power Plant, in: Transactions of the Korean Nuclear Society Spring Meeting. Jeju, Korea.

2. Aldec, 2016. Active-HDL: FPGA Design and Simulation [WWW Document]. URL (accessed 8.15.16).

3. Bakhmach, E., Siora, O., Tokarev, V., Reshetytskyi, S., Kharchenko, V., Bezsalyi, V., 2009. FPGA- based technology and systems for I&C of existing and advanced reactors, in: International Conference on Opportunities and Challenges for Water Cooled Reactors in the 21st Century. Vienna, Austria.

4. A method for hardware verification based on logic simulation;Bryant;J. ACM,1991

5. Choi, J.G., Kim, C.H., 2016. Development of Safety Grade Control Platforms for Safety I&C System Against Common Cause Failure, in: Transactions of Korean Nuclear Society Spring Meeting. Jeju, Korea.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling of changes in the nuclide composition of VVER reactor fuel using artificial neural network;Heliyon;2024-02

2. Recovering From a Failure and Improving the Checkability of Iterative Array Dividers;2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT);2022-11-10

3. Development process of FPGA based technology for control rod drive systems of experimental power reactor;Nuclear Engineering and Design;2022-11

4. V&V Methods Used in the Development of FPGA-based I&C Systems for HTR-10;Journal of Physics: Conference Series;2021-10-01

5. Modelling of FPGA-based Reactor Protection Systems of an Experimental Power Reactor;Journal of Physics: Conference Series;2021-10-01