A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software

Hazard analysis is a widely-used technique to achieve the system/software safety by analyzing hazards systematically. While programmable logic controller-based digital instrumentation and control systems have been replaced with field programmable gate array (FPGA)-based ones, hazard analysis on FPGA software as well as FPGA-based controllers becomes one of the prerequisites of operational approval. The NUREG/CR-6430 provides applicable...