| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-17页 |
| ·课题背景 | 第9页 |
| ·空间环境下辐射对计算机系统的影响 | 第9-11页 |
| ·瞬时故障的软件检错技术 | 第11-15页 |
| ·相关工作 | 第11-13页 |
| ·SIHFT技术 | 第13-15页 |
| ·本文研究内容 | 第15-16页 |
| ·本文结构 | 第16-17页 |
| 第2章 软件签名和复制指令检错技术原理 | 第17-27页 |
| ·软件签名检测控制流技术 | 第17-23页 |
| ·软件签名检错技术思想 | 第17页 |
| ·软件签名检错技术直观性阐述 | 第17-21页 |
| ·软件签名检错技术算法 | 第21-23页 |
| ·复制指令检错技术 | 第23-26页 |
| ·复制指令检错技术思想 | 第23-24页 |
| ·复制指令检错技术算法 | 第24-26页 |
| ·复制指令检错技术调度算法 | 第26页 |
| ·本章小结 | 第26-27页 |
| 第3章 基于ARM7TDMI的软件检错技术的关键技术研究 | 第27-41页 |
| ·基本块划分 | 第27-30页 |
| ·中间代码的基本块划分算法 | 第27-28页 |
| ·汇编语言程序的基本块划分算法 | 第28-30页 |
| ·签名检错指令生成 | 第30-34页 |
| ·签名检错指令生成算法的直观阐述 | 第31-33页 |
| ·签名检错指令的生成算法 | 第33-34页 |
| ·影子指令生成 | 第34-36页 |
| ·寄存器分配方案 | 第35页 |
| ·影子指令的生成原则 | 第35-36页 |
| ·指令调度 | 第36-40页 |
| ·依赖关系的重定义 | 第37-38页 |
| ·调度算法 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第4章 基于ARM7TDMI的软件检错技术系统设计 | 第41-51页 |
| ·总体设计 | 第41-44页 |
| ·详细设计 | 第44-50页 |
| ·指令识别 | 第44-47页 |
| ·无存储基本块划分 | 第47-48页 |
| ·程序流图生成 | 第48-49页 |
| ·签名检错指令的优化 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第5章 系统实现与验证 | 第51-67页 |
| ·系统实现 | 第51-58页 |
| ·开发环境 | 第51页 |
| ·实现过程 | 第51-56页 |
| ·实现结果 | 第56-58页 |
| ·仿真实验 | 第58-65页 |
| ·实验环境 | 第58-59页 |
| ·实验过程 | 第59-61页 |
| ·实验用例 | 第61-63页 |
| ·实验结果与分析 | 第63-65页 |
| ·本章小结 | 第65-67页 |
| 结论 | 第67-68页 |
| 参考文献 | 第68-71页 |
| 哈尔滨工业大学硕士学位论文原创性声明 | 第71页 |
| 哈尔滨工业大学硕士学位论文使用授权书 | 第71页 |
| 哈尔滨工业大学硕士学位涉密论文管理 | 第71-72页 |
| 致谢 | 第72页 |