基于FPGA的软件容错系统研究
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-9页 |
| Contents | 第9-11页 |
| 插图或附表清单 | 第11-12页 |
| 引言 | 第12-15页 |
| 1 软件冗余 | 第15-19页 |
| ·软件设计概述 | 第15页 |
| ·软件组成 | 第15-16页 |
| ·软件N元模块冗余 | 第16-17页 |
| ·可编程表决器 | 第17-19页 |
| 2 错误检测 | 第19-22页 |
| ·错误检测器的分类 | 第19-22页 |
| ·错误检测器 | 第19-20页 |
| ·结果验证 | 第20-22页 |
| 3 故障注入实验 | 第22-28页 |
| ·分析与联合设计故障注入器 | 第22-24页 |
| ·硬件组成 | 第22-24页 |
| ·软件实现过程 | 第24页 |
| ·故障结果与分析 | 第24-28页 |
| 4 软件设计 | 第28-38页 |
| ·TOCTTOU窗口消除 | 第29-34页 |
| ·保障指令 | 第30-32页 |
| ·检测指令 | 第32-34页 |
| ·表决指令 | 第34页 |
| ·修复类型 | 第34-36页 |
| ·故障分析 | 第34-35页 |
| ·故障处理技术 | 第35-36页 |
| ·错误的加速检测 | 第36-38页 |
| ·转移指令 | 第36-37页 |
| ·配置负载与存储指令 | 第37-38页 |
| 5 硬件验证 | 第38-40页 |
| ·硬件区域消耗 | 第38页 |
| ·编译接口 | 第38-40页 |
| 6 软件验证 | 第40-48页 |
| ·基于FDX系统验证 | 第40-42页 |
| ·保障指令结果 | 第41页 |
| ·检测指令结构 | 第41页 |
| ·表决指令结构 | 第41-42页 |
| ·基于无FDX系统 | 第42-43页 |
| ·使用FDX对比结果 | 第43-48页 |
| ·性能消耗减少 | 第43-44页 |
| ·代码体积的消耗减少 | 第44-48页 |
| 7 算法设计 | 第48-53页 |
| ·概述 | 第48页 |
| ·算法设计定义 | 第48-51页 |
| ·任务和调度 | 第51-53页 |
| ·无故障场景 | 第51-52页 |
| ·单故障场景 | 第52页 |
| ·其他使用方式 | 第52-53页 |
| 结论与展望 | 第53-55页 |
| 参考文献 | 第55-58页 |
| 谢辞 | 第58-59页 |
| 作者简介及读研期间主要科研成果 | 第59页 |
