Research on Static Testing Technology of Nuclear Safety-Critical Software Based on FPGA Technology

With the development of FPGA technology, more and more nuclear safety-critical systems use FPGA technology to achieve their functions. To ensure the security and quality of nuclear safety-grade systems based on FPGA technology, the focus is on software functions being implemented correctly and reliably. Software testing is the most important part of software quality assurance software. Software static testing is an indispensable part of software testing. The basic requirements of static testing of nuclear safety-critical software based on FPGA technology are firstly introduced in this paper. The applicability and limitations of the test tool LEDA were analyzed then. Finally, Software static test methods and processes combined with automated tool testing and manual review are proposed, which provides technical support for improving the reliability and security of nuclear safety-Critical FPGA software.