TMR 故障注入与验证方法研究与实现

• 作者: 崔媛媛 张洵颖 肖建青
• 来源期刊: 计算机测量与控制
• 关键词: 三模冗余 故障注入 系统芯片 单粒子翻转 单粒子瞬态
• 年，卷（期）: 2014,（1）
• 页码范围: 13-15,21
• 页数: 4页
• 分类号: TP302.8
• 语种: 中文

摘要

从系统验证和 FPGA 物理原型验证两个方面，分析了 TMR 结构的注错方式及其验证方法；通过在 TMR 结构中嵌入注错逻辑，并将所有组 TMR 寄存器的注错控制信号统一命名，作为系统的输入，根据随机生成的注错信息，索引对应的 TMR 寄存器，可实现向对用户透明的任意 TMR 组中注错；将每组 TMR 寄存器的参考点和观测点引到设计的顶层统一命名，作为待测系统的输出，可适时观测对应 TMR 寄存器组的注错情况，分析故障电路的行为；为了解决调试机与 FPGA 板连接的引脚数受限的问题，特别设计了注错控制器和故障收集器；根据具体的注错情况，可编写对应的测试程序，验证设计的正确性，实验结果表明，SOC 系统的错误故障率约占18．6％；为系统的可靠性评估提供了依据。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张洵颖		24	67	5.0	7.0
2	肖建青		10	13	2.0	3.0
3	崔媛媛		5	12	2.0	3.0