| 摘要 | 第9-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第13-17页 |
| 1.1 研究背景 | 第13-14页 |
| 1.2 研究目标及意义 | 第14页 |
| 1.3 本文主要工作 | 第14-15页 |
| 1.4 论文结构 | 第15-17页 |
| 第二章 技术背景 | 第17-31页 |
| 2.1 容错技术概述 | 第17-20页 |
| 2.1.1 容错基本概念和分类 | 第17-19页 |
| 2.1.2 硬件容错技术 | 第19页 |
| 2.1.3 软件容错技术 | 第19-20页 |
| 2.2 软件容错技术研究现状 | 第20-27页 |
| 2.2.1 软件错误检测技术研究现状 | 第20-23页 |
| 2.2.2 软件错误恢复技术研究现状 | 第23-26页 |
| 2.2.3 可配置软件容错技术研究现状 | 第26-27页 |
| 2.3 TMS320C6678型号DSP体系结构特点 | 第27-29页 |
| 2.4 JPEG2000概述 | 第29-31页 |
| 第三章 面向JPEG2000的线性汇编级数据流错误恢复技术 | 第31-51页 |
| 3.1 DSP软加固概述 | 第31-33页 |
| 3.1.1 软错误影响范围以及错误传播 | 第31-33页 |
| 3.1.2 DSP软加固面临的主要困难 | 第33页 |
| 3.2 JPEG2000的应用级别正确性定义 | 第33-34页 |
| 3.3 数据流错误恢复机制DRLBB | 第34-42页 |
| 3.3.1 基本复算方式 | 第34-36页 |
| 3.3.2 校验点设置 | 第36-37页 |
| 3.3.3 幂等域的定义与分析 | 第37-40页 |
| 3.3.4 非幂等域的改造 | 第40-42页 |
| 3.3.5 基于幂等域的错误恢复流程 | 第42页 |
| 3.4 可配置保护技术C-DRLBB | 第42-48页 |
| 3.4.1 变量关键性定义和计算 | 第43-45页 |
| 3.4.2 面向应用级别正确性的定制关键性值计算 | 第45-47页 |
| 3.4.3 基于变量关键性的选择性加固方法 | 第47-48页 |
| 3.5 C-DRLBB的分析与优化 | 第48-50页 |
| 3.5.1 算法的优势与缺陷 | 第48页 |
| 3.5.2 循环内错误延迟处理 | 第48-49页 |
| 3.5.3 针对寄存器不足现象的分析和优化 | 第49-50页 |
| 3.6 本章小结 | 第50-51页 |
| 第四章 面向JPEG2000的线性汇编级控制流错误恢复技术 | 第51-65页 |
| 4.1 故障模型和相关概念 | 第51-53页 |
| 4.1.1 故障模型 | 第51页 |
| 4.1.2 相关概念 | 第51-53页 |
| 4.2 C-PRNC控制流错误检测机制 | 第53-58页 |
| 4.2.1 标签设计和更新策略 | 第53-56页 |
| 4.2.2 控制流错误检测机制分析 | 第56-58页 |
| 4.3 C-PRNC控制流错误恢复机制 | 第58-61页 |
| 4.3.1 活跃变量分析和备份 | 第58-59页 |
| 4.3.2 控制流错误恢复流程 | 第59-61页 |
| 4.4 可配置保护技术设计 | 第61-62页 |
| 4.4.1 无存基本块合并 | 第61页 |
| 4.4.2 基于应用全局信息的块内部校验配置 | 第61-62页 |
| 4.5 算法优化 | 第62-64页 |
| 4.5.1 循环内错误延迟处理 | 第62页 |
| 4.5.2 校验点优化策略 | 第62-64页 |
| 4.6 本章小结 | 第64-65页 |
| 第五章 实现和验证 | 第65-71页 |
| 5.1 算法实现 | 第65-66页 |
| 5.2 性能实验及结果分析 | 第66-67页 |
| 5.3 故障注入实验及结果分析 | 第67-70页 |
| 5.4 本章小结 | 第70-71页 |
| 第六章 总结和展望 | 第71-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 作者在学期间取得的学术成果 | 第78页 |
