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

I Ahmed, J Jung, G Heo - Nuclear Engineering and Design, 2017 - Elsevier
Safety-critical instrumentation and control (I&C) system in nuclear power plant (NPP)
implemented on programmable logic controllers (PLCs) plays a vital role in safe operation of …