面向软错误的故障恢复和验证技术研究
| 表目录 | 第1-8页 |
| 图目录 | 第8-10页 |
| 摘要 | 第10-12页 |
| ABSTRACT | 第12-15页 |
| 第一章 绪论 | 第15-41页 |
| ·研究背景 | 第15-21页 |
| ·引发软错误的因素 | 第15-19页 |
| ·集成电路工艺发展带来的挑战 | 第19-21页 |
| ·容错技术概述 | 第21-25页 |
| ·故障、错误、失效 | 第21-22页 |
| ·容软错误的基本原理 | 第22-23页 |
| ·硬件实现的容错技术 | 第23-24页 |
| ·软件实现的容错技术 | 第24-25页 |
| ·相关研究现状 | 第25-37页 |
| ·软错误的影响分析和评估 | 第25-26页 |
| ·错误检测技术 | 第26-31页 |
| ·故障恢复技术 | 第31-34页 |
| ·容错优化配置技术 | 第34-35页 |
| ·容错验证技术 | 第35-37页 |
| ·本文主要工作 | 第37-39页 |
| ·论文结构 | 第39-41页 |
| 第二章 基于标签分析的控制流错误检测和恢复 | 第41-75页 |
| ·相关工作介绍 | 第41-43页 |
| ·软件实现的控制流检测技术 | 第42页 |
| ·软件实现的控制流恢复技术 | 第42-43页 |
| ·CFEDR算法 | 第43-55页 |
| ·故障模型 | 第43-45页 |
| ·划分程序代码 | 第45页 |
| ·分配格式化标签 | 第45-47页 |
| ·插入新增指令 | 第47-53页 |
| ·定义错误处理例程 | 第53-55页 |
| ·控制流错误恢复过程 | 第55-58页 |
| ·基本块内部的控制流恢复 | 第55-56页 |
| ·基本块之间的控制流恢复 | 第56-57页 |
| ·过程间的控制流恢复 | 第57-58页 |
| ·恢复效能分析 | 第58-69页 |
| ·基本块之间的错误恢复能力 | 第58-62页 |
| ·过程间的控制流故障恢复能力 | 第62-65页 |
| ·基本块内部的错误恢复能力 | 第65-68页 |
| ·控制流错误恢复延迟 | 第68-69页 |
| ·实验评估 | 第69-72页 |
| ·故障注入实验 | 第69-71页 |
| ·性能开销实验 | 第71-72页 |
| ·相关工作比较 | 第72-73页 |
| ·本章小结 | 第73-75页 |
| 第三章 一种源代码级的数据流错误容错处理机制 | 第75-103页 |
| ·数据流错误容错处理机制SIDFT | 第75-91页 |
| ·错误模型 | 第76-77页 |
| ·划分包含块 | 第77-78页 |
| ·数据流错误检测机制 | 第78-86页 |
| ·数据流错误恢复机制 | 第86-91页 |
| ·SIDFT算法分析 | 第91-95页 |
| ·数据流错误容错处理过程 | 第91-94页 |
| ·检测盲点 | 第94页 |
| ·错误恢复延迟 | 第94-95页 |
| ·性能开销 | 第95页 |
| ·实验分析 | 第95-99页 |
| ·转换工具 | 第96-97页 |
| ·故障注入实验 | 第97-99页 |
| ·性能开销实验 | 第99页 |
| ·与其它方法比较 | 第99-101页 |
| ·本章小结 | 第101-103页 |
| 第四章 基于模型检验的控制流检测算法验证 | 第103-125页 |
| ·引言 | 第103-106页 |
| ·研究思路 | 第103-104页 |
| ·研究对象 | 第104-106页 |
| ·建立容错模型 | 第106-109页 |
| ·语法定义 | 第106-107页 |
| ·语义定义 | 第107-109页 |
| ·验证方案 | 第109-115页 |
| ·状态转换系统 | 第109-111页 |
| ·转换为SMV程序 | 第111-115页 |
| ·案例研究 | 第115-122页 |
| ·CFCSS算法验证 | 第115-119页 |
| ·DSM算法验证 | 第119-122页 |
| ·分析讨论 | 第122页 |
| ·本章小结 | 第122-125页 |
| 第五章 基于类型系统的数据流容错算法验证 | 第125-147页 |
| ·SWIFT_R算法 | 第125-126页 |
| ·类型化的容错汇编语言 | 第126-133页 |
| ·语法定义 | 第127-128页 |
| ·语义定义 | 第128-133页 |
| ·类型指派 | 第133-139页 |
| ·操作数的定型规则 | 第133-134页 |
| ·指令的类型检查 | 第134-138页 |
| ·状态的类型指派 | 第138-139页 |
| ·容错属性验证 | 第139-145页 |
| ·安全性证明 | 第139-141页 |
| ·容错属性证明 | 第141-145页 |
| ·本章小结 | 第145-147页 |
| 第六章 结束语 | 第147-151页 |
| ·工作总结 | 第147-148页 |
| ·研究展望 | 第148-151页 |
| 致谢 | 第151-153页 |
| 参考文献 | 第153-163页 |
| 作者在学期间取得的学术成果 | 第163-164页 |
