基于指令脆弱因子的程序存储体可靠性分析
指令中特定位的翻转对程序存储体的可靠性无实质影响,当前的存储体可靠性模型均未考虑上述无效翻转.针对此问题,本文首先定义了量化无效翻转的指令脆弱因子,并基于指令脆弱因子建立了程序存储体的平均失效时间(Mean Time To Failure,MTTF)模型；然后分析了纠错码和刷新对程序存储体MTTF 的影响,在此分析基础上提出基于纠错码和刷新的程序存储体MTTF 并非总是优于无保护的程序存储体,并进一步给出了程序存储体使用纠错码和刷新等容错技术的约束条件.最后,通过MATLAB 蒙特卡洛仿真对本文提出的MTTF模型和结论进行了验证,仿真结果的分析说明：本文模型具有较高的精度,与仿真结果的误差小于3％,而且程序存储体需在满足约束条件的前提下使用纠错码和刷新等容错技术,盲目使用容错技术反而可能降低程序存储体的MTTF.本文结论可以优化可靠性和性能的折衷,有助于选择最优的程序存储体加固方案.
无效翻转 指令脆弱因子 程序存储体 可靠性模型 纠错码 刷新 平均失效时间 蒙特卡洛仿真 优化加固方案
马徐瀚 吴龙胜 陈庆宇 赵坤鹏 曹天骄 位荣友
中国航天科技集团公司九院七七一所
国内会议
兰州
中文
1-19
2016-07-19（万方平台首次上网日期，不代表论文的发表时间）