| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第12-18页 |
| 1.1 研究目的与意义 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-15页 |
| 1.3 本文的主要工作 | 第15-16页 |
| 1.4 本文的内容安排 | 第16-18页 |
| 第二章 相关理论与技术 | 第18-23页 |
| 2.1 嵌入式实时系统 | 第18-19页 |
| 2.1.1 嵌入式系统概述 | 第18页 |
| 2.1.2 分布式实时系统概述 | 第18-19页 |
| 2.2 安全关键实时系统 | 第19页 |
| 2.3 消息安全与保密性服务 | 第19-20页 |
| 2.3.1 消息传播的安全性 | 第19页 |
| 2.3.2 消息传播的保密性服务 | 第19-20页 |
| 2.4 错误注入攻击概述 | 第20页 |
| 2.5 容错技术 | 第20-21页 |
| 2.5.1 常用的错误检测技术 | 第20-21页 |
| 2.5.2 常用的纠错方案 | 第21页 |
| 2.6 本章小结 | 第21-23页 |
| 第三章 面向密码算法的错误检测方案及开销测试 | 第23-35页 |
| 3.1 错误检测的基本框架 | 第23页 |
| 3.2 错误检测方案与错误传播模型 | 第23-31页 |
| 3.2.1 奇偶校验码按8位校验 | 第25-29页 |
| 3.2.2 奇偶校验码按32位校验 | 第29-30页 |
| 3.2.3 二维奇偶校验码 | 第30-31页 |
| 3.2.4 剩余码 | 第31页 |
| 3.2.5 重复码 | 第31页 |
| 3.3 错误覆盖率的计算 | 第31-33页 |
| 3.4 时间开销测试 | 第33-34页 |
| 3.5 本章小结 | 第34-35页 |
| 第四章 安全关键实时系统的错误检测优化 | 第35-42页 |
| 4.1 系统模型 | 第35-36页 |
| 4.2 系统问题规划 | 第36-37页 |
| 4.2.1 目标规划 | 第36-37页 |
| 4.2.2 约束规划 | 第37页 |
| 4.3 基于模拟退火算法的系统优化算法 | 第37-39页 |
| 4.3.1 扩展的列表调度算法 | 第37-38页 |
| 4.3.2 系统优化算法的主要流程 | 第38-39页 |
| 4.4 实验仿真 | 第39-41页 |
| 4.4.1 实验设置 | 第39-40页 |
| 4.4.2 基于不同应用大小的算法测试与评估 | 第40页 |
| 4.4.3 基于不同权重大小的算法测试与评估 | 第40-41页 |
| 4.5 本章小结 | 第41-42页 |
| 第五章 分布式实时应用中抵御错误注入攻击的多目标优化 | 第42-58页 |
| 5.1 系统模型 | 第42-43页 |
| 5.2 多目标规划 | 第43-45页 |
| 5.2.1 最大化错误覆盖率 | 第43页 |
| 5.2.2 最小化异构度 | 第43-45页 |
| 5.3 高效的多目标进化算法 | 第45-51页 |
| 5.3.1 快速非支配排序算法 | 第47-48页 |
| 5.3.2 改进的快速非支配排序算法 | 第48-49页 |
| 5.3.3 系统多目标进化算法的主要流程 | 第49-51页 |
| 5.4 高效的多目标进化算法实验仿真 | 第51-57页 |
| 5.4.1 实验设置 | 第51页 |
| 5.4.2 基于不同应用大小的算法测试与评估 | 第51-53页 |
| 5.4.3 非支配解集的比较 | 第53-56页 |
| 5.4.4 ACC应用实例 | 第56-57页 |
| 5.5 本章小结 | 第57-58页 |
| 第六章 容错增强分布式实时应用的软硬件协同设计 | 第58-77页 |
| 6.1 系统模型 | 第58-59页 |
| 6.2 容错模型 | 第59-60页 |
| 6.3 硬件开销 | 第60页 |
| 6.4 系统问题规划 | 第60-62页 |
| 6.4.1 目标规划 | 第60-61页 |
| 6.4.2 约束规划 | 第61-62页 |
| 6.5 算法描述 | 第62-65页 |
| 6.6 实验仿真 | 第65-75页 |
| 6.6.1 实验设置 | 第65页 |
| 6.6.2 基于不同应用大小的算法测试与评估 | 第65-68页 |
| 6.6.3 基于不同FPGA面积大小的算法测试与评估 | 第68-70页 |
| 6.6.4 非支配解集的比较 | 第70-74页 |
| 6.6.5 VCC应用实例 | 第74-75页 |
| 6.7 本章小结 | 第75-77页 |
| 第七章 总结及展望 | 第77-80页 |
| 7.1 全文总结 | 第77-78页 |
| 7.2 进一步工作 | 第78-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-85页 |
| 攻硕期间取得的研究成果 | 第85-86页 |