[发明专利]一种基于掩码文件的FPGA精确故障注入系统

说明书

技术领域

本发明涉及一种基于掩码文件的FPGA精确故障注入系统及方法，主要应用与FPGA片上可编程资源对空间单粒子效应造成故障的敏感度验证，属于FPGA故障注入领域。

背景技术

FPGA由于使用灵活，成本低廉，功能强大，在空间环境中的应用越来越多，但是FPGA在空间辐射环境中使用时，空间中的高能粒子会穿透FPGA的器件内部，造成单粒子效应。单粒子效应会对FPGA系统的运行产生影响，造成错误，甚至使其完全无法使用。

通常情况下，使用辐射实验的方法在地面模拟单粒子效应来验证FPGA对单粒子效应的敏感程度，但是辐射实验的方法成本高周期长，因此较为方便价廉的故障注入的方法用的越来越多。FPGA特有的可重复编程的能力，使故障注入的方法更加方便快捷。

FPGA的可重复编程能力，是由于FPGA中有很多片上可编程资源，包括CLB、IOB、片上可编程互连等，通过使用配置码流配置片上可编程资源，FPGA可以被配置成各种电路，实现不同的功能。

现有的针对FPGA的故障注入方法，是利用FPGA的可重复编程能力，翻转FPGA的配置码流中的一位，使用翻转后的码流重新配置FPGA，观察其是否出现错误。如果出现错误，证明FPGA对这一码位的翻转敏感，如果不出现错误，证明FPGA对这一码位的翻转不敏感。通过逐位翻转FPGA的配置码流，得出FPGA的故障率、静态翻转界面等表征FPGA对单粒子故障敏感程度的参数。

目前现有的故障注入方法，采用的是逐位翻转码流的方法，只能得到FPGA的故障敏感度，得到的是笼统的统计结果，没有针对性，无法对单粒子效应对FPGA产生的影响进行深入分析。因此，为了使故障注入过程更有针对性，故障 注入更有效率，得出的结果对研究单粒子效应的影响和应对单粒子效应的措施研究更有帮助，需要一种更加细致、精确的故障注入方法。

发明内容

本发明要解决的技术问题：克服现有技术的不足，提供了一种基于掩码文件的FPGA精确故障注入系统及方法，根据FPGA的片上可编程资源和配置码流的映射关系、实际测试需求得出掩码文件，使用掩码文件控制故障注入过程，进行精确故障注入，使故障注入可以针对FPGA的某一种或某一个片上可编程资源进行，从而实现对单粒子故障更精确，更有针对性，更有效率的分析。

本发明通过以下技术方案实现

一种基于掩码文件的FPGA精确故障注入系统，包括：掩码文件产生模块、故障注入过程控制模块、精确故障注入模块和结果处理模块；

掩码文件产生模块根据FPGA片上可编程资源与配置码流之间的映射关系生成掩码文件，并将掩码文件提供给故障注入过程控制模块，

故障注入过程控制模块对接收到的掩码文件按数据帧为单位进行分析处理，再将掩码数据帧提供给精确故障注入模块；精确故障注入模块根据接收到的掩码数据帧，生成包括故障信息的单帧码流并注入FPGA中，故障注入过程控制模块采集故障注入结果并上传给上位机。

所述掩码文件是与FPGA故障注入所需的配置码流文件等长的二进制文件，整个文件由1、0组成；掩码文件的每一位与配置码流文件的每一位一一对应，掩码文件中的一位的值表征了配置码流文件的该位是否需要进行注入；掩码中一位的值为1，表示配置码流该位需要进行故障注入；反之，表示配置码流该位不需要进行故障注入。

所述故障注入过程控制模块包括掩码文件分析模块、故障注入使能模块、故障注入终止模块和故障注入结果采集模块；

掩码文件分析模块接收输入的掩码文件，每次读入一帧掩码，通过对该帧掩码进行分析，如果该帧掩码全为0，则表明该帧配置码流数据不需要进行故 障注入，继续读取下一帧掩码文件进行分析；如果该帧掩码不全为0，表明该帧数据需要进行故障注入，则使能故障注入使能模块，将该帧掩码发送给精确故障注入模块；如果全部掩码文件均已分析完毕，则使能故障注入终止模块；故障注入结果采集模块采集精确故障注入模块返回的故障注入结果信息，当故障注入终止模块使能之后，故障注入结果采集模块将采集到的故障注入结果信息上传给上位机。

所述精确故障注入模块包括异或模块和信息注入模块；异或模块将单帧配置码流文件和故障注入过程控制模块提供的一帧掩码数据进行按位进行异或计算，将异或计算后的单帧码流通过信息注入模块对FPGA进行故障注入。

所述异或模块将单帧配置码流文件和故障注入过程控制模块提供的一帧掩码数据进行按位进行异或计算具体为：