DA-FIS:一个高速的动态自适应故障注入服务器框架,用于可靠的FPGA嵌入式系统
Fatimah Alhayan1, Gaganjot Kaur2, Sultan Alanazi3
1Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University, Riyad, Saudi Arabia.
PeerJ. Computer science
|September 24, 2025
概括
一个新的动态自适应故障注入服务器 (DA-FIS) 为FPGA提供了更快,更有效的故障注入. 这种先进的框架通过实时,适应性故障注入,降低开销,提高了关键系统的可靠性测试.
科学领域:
- 电气工程 电气工程
- 计算机工程 计算机工程
- 可靠性工程可靠性工程
背景情况:
- 故障注入对于FPGA的可靠性至关重要,特别是在易受辐射和安全关键系统中.
- 像BUFIT,SCFIT和DPR这样的传统方法有局限性,包括高资源开销,速度慢和适应能力差.
- 这些局限性阻碍了嵌入式系统中实时故障弹性评估.
研究的目的:
- 引入动态自适应故障注入服务器 (DA-FIS),这是一个新的框架,用于在FPGA中实现高速,可扩展和资源高效的故障注入.
- 克服现有的故障注入技术的局限性.
- 在基于FPGA的系统中实现精确的实时故障注入和分析.
主要方法:
- 开发了DA-FIS,具有可配置的LFSR基于故障发生器,用于自适应的实时故障注入.
- 集成的掩盖逻辑和动态传播跟踪,用于精确地将SEU和MBU注入FPGA配置内存和逻辑中.
- 在Xilinx Zynq-7000FPGA上使用基准工作负载实现和评估DA-FIS.
主要成果:
- DA-FIS实现了111.1故障/秒的故障注入率,明显超过了BUFIT (53.4),SCFIT (27) 和DPR (18.5).
- 该框架显示,与SCFIT相比,FPGA的资源开销降低了30%.
- 在不同的FPGA平台上证实了可扩展性,适用于太空,汽车和HPC应用.
结论:
- DA-FIS将自己确立为优越的故障注入框架,提供高速,精确控制的测试,最小的FPGA开销和增强的可扩展性.
- 适应性架构和实时错误模型调整有助于分析故障传播,错误纠正和安全漏洞.
- 未来的研究方向包括ML辅助故障建模和自我修复架构,以提高FPGA故障弹性.
相关概念视频
Fast Decoupled and DC Powerflow
726
The fast decoupled power flow method addresses contingencies in power system operations, such as generator outages or transmission line failures. This method provides quick power flow solutions, essential for real-time system adjustments. Fast decoupled power flow algorithms simplify the Jacobian matrix by neglecting certain elements, leading to two sets of decoupled equations:
726
Bus Impedance Matrix
503
Calculating subtransient fault currents for three-phase faults in an N-bus power system involves using the positive-sequence network. When a three-phase short circuit occurs at a specific bus, the analysis uses the superposition method to evaluate two separate circuits.
In the first circuit, all machine voltage sources are short-circuited, leaving only the prefault voltage source at the fault location. The positive-sequence bus impedance matrix can be determined by solving the nodal equations,...
In the first circuit, all machine voltage sources are short-circuited, leaving only the prefault voltage source at the fault location. The positive-sequence bus impedance matrix can be determined by solving the nodal equations,...
503


