空间辐射环境下软件实现的硬件故障检测技术研究
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 第一章 绪论 | 第12-17页 |
| ·研究背景及意义 | 第12-14页 |
| ·本文主要工作 | 第14-15页 |
| ·论文结构 | 第15-17页 |
| 第二章 技术背景 | 第17-27页 |
| ·容错技术概述 | 第17-19页 |
| ·容错技术相关概念 | 第17-18页 |
| ·软件容错技术 | 第18-19页 |
| ·控制流校验技术 | 第19-21页 |
| ·控制流校验概述 | 第19页 |
| ·相关工作 | 第19-21页 |
| ·软件复算技术 | 第21-25页 |
| ·软件复算技术原理 | 第21-22页 |
| ·主要研究工作 | 第22-24页 |
| ·其它研究 | 第24-25页 |
| ·容错实现与验证技术 | 第25-27页 |
| ·容错实现技术 | 第25页 |
| ·容错验证技术 | 第25-27页 |
| 第三章 基于层次分解的故障检测技术 | 第27-45页 |
| ·FDTPH 技术概述 | 第27-31页 |
| ·相关定义 | 第27-29页 |
| ·FDTPH 技术基本原理 | 第29-30页 |
| ·FDTPH 技术分析 | 第30-31页 |
| ·基于逆向恢复的故障检测算法 | 第31-36页 |
| ·EDCC 算法原理 | 第31-33页 |
| ·可恢复运算指令 | 第33页 |
| ·程序等价变换 | 第33-35页 |
| ·EDCC 实现算法 | 第35-36页 |
| ·EDCC 算法优缺点分析 | 第36页 |
| ·基于ECC 的存储错误检测算法 | 第36-39页 |
| ·SFDE 基本原理 | 第36-38页 |
| ·SFDE 实现算法 | 第38-39页 |
| ·SFDE 小结 | 第39页 |
| ·基于可靠标签的控制流校验算法 | 第39-45页 |
| ·静态标签的设计 | 第39-40页 |
| ·控制流错误检测原理 | 第40-41页 |
| ·CFCRS 实现算法 | 第41-42页 |
| ·CFCRS 控制流错误检测能力分析 | 第42-45页 |
| 第四章 故障检测的优化技术 | 第45-51页 |
| ·容错优化概论 | 第45-46页 |
| ·可配置的故障检测算法 | 第46-51页 |
| ·程序容错特征分析 | 第46-47页 |
| ·可靠性反应分析模型 | 第47-49页 |
| ·性能反应模型及容错优化 | 第49-50页 |
| ·CFDA 小结 | 第50-51页 |
| 第五章 容错算法的实现和验证 | 第51-61页 |
| ·容错转换系统总体设计 | 第51-52页 |
| ·容错转换系统详细设计 | 第52-56页 |
| ·寄存器分配策略 | 第52页 |
| ·容错转换系统数据结构设计 | 第52-53页 |
| ·容错转换实例分析 | 第53-56页 |
| ·故障注入实验结果及分析 | 第56-61页 |
| ·实验条件 | 第56页 |
| ·实验结果 | 第56-60页 |
| ·实验结论 | 第60-61页 |
| 第六章 结束语 | 第61-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 作者在学期间取得的学术成果 | 第67页 |
