| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 主要缩略语对照表 | 第17-19页 |
| 第一章 绪论 | 第19-34页 |
| 1.1 研究工作的背景与意义 | 第19-21页 |
| 1.1.1 实时系统概述 | 第19-20页 |
| 1.1.2 强实时嵌入式系统的容错/可靠性优化 | 第20-21页 |
| 1.2 研究问题与研究思路 | 第21-25页 |
| 1.2.1 容错设计引发的问题 | 第21-23页 |
| 1.2.2 研究思路 | 第23-25页 |
| 1.3 国内外研究现状分析 | 第25-29页 |
| 1.3.1 可靠性驱动的低能耗实时任务调度机制研究 | 第25-27页 |
| 1.3.2 可靠性驱动的高吞吐量实时任务调度机制研究 | 第27-28页 |
| 1.3.3 可靠性驱动的长使用寿命实时任务调度机制研究 | 第28-29页 |
| 1.4 论文的主要贡献与创新 | 第29-32页 |
| 1.5 论文的组织结构 | 第32-34页 |
| 第二章 系统模型 | 第34-42页 |
| 2.1 处理器模型 | 第34-35页 |
| 2.1.1 单处理器模型 | 第34页 |
| 2.1.2 同构多处理器模型 | 第34-35页 |
| 2.1.3 异构多处理器模型 | 第35页 |
| 2.2 任务模型 | 第35-36页 |
| 2.3 功耗模型 | 第36-37页 |
| 2.3.1 静态功耗模型 | 第36-37页 |
| 2.3.2 动态功耗模型 | 第37页 |
| 2.3.3 总功耗模型 | 第37页 |
| 2.4 温度模型 | 第37-38页 |
| 2.5 故障模型 | 第38-40页 |
| 2.5.1 瞬时故障模型 | 第39页 |
| 2.5.2 永久故障模型 | 第39-40页 |
| 2.6 本章小结 | 第40-42页 |
| 第三章 可靠性驱动的低能耗实时任务调度机制研究 | 第42-70页 |
| 3.1 单处理器系统可靠性驱动的低能耗实时任务调度机制 | 第43-60页 |
| 3.1.1 模型说明 | 第43页 |
| 3.1.2 任务的检查点个数 | 第43-44页 |
| 3.1.3 任务的执行时间 | 第44-45页 |
| 3.1.4 系统的可靠性 | 第45页 |
| 3.1.5 系统的能耗 | 第45-46页 |
| 3.1.6 系统的峰值温度 | 第46页 |
| 3.1.7 问题定义 | 第46-47页 |
| 3.1.8 单处理器系统可靠性驱动的低能耗实时任务调度策略 | 第47-53页 |
| 3.1.9 仿真实验与结果分析 | 第53-60页 |
| 3.2 多处理器系统可靠性驱动的低能耗实时任务调度机制 | 第60-69页 |
| 3.2.1 模型说明 | 第60页 |
| 3.2.2 系统的能耗 | 第60-61页 |
| 3.2.3 多处理器系统-虚拟核系统的转换 | 第61-63页 |
| 3.2.4 动态能耗最优的任务分配方案 | 第63-64页 |
| 3.2.5 多处理器系统可靠性驱动的低能耗实时任务调度策略 | 第64-66页 |
| 3.2.6 仿真实验与结果分析 | 第66-69页 |
| 3.3 本章小结 | 第69-70页 |
| 第四章 可靠性驱动的高吞吐量实时任务调度机制研究 | 第70-91页 |
| 4.1 模型说明 | 第70-72页 |
| 4.1.1 任务模型说明 | 第71页 |
| 4.1.2 故障模型说明 | 第71-72页 |
| 4.1.3 处理器执行模式说明 | 第72页 |
| 4.2 研究问题以及混合整数线性规划求解 | 第72-76页 |
| 4.2.1 目标函数 | 第73-74页 |
| 4.2.2 约束条件 | 第74-75页 |
| 4.2.3 MILP方法的不足 | 第75-76页 |
| 4.3 任务分配对最大完工时间、可靠性以及温度的影响 | 第76-79页 |
| 4.3.1 任务分配对最大完工时间的影响 | 第76-77页 |
| 4.3.2 任务分配对可靠性的影响 | 第77-79页 |
| 4.3.3 任务分配对温度的影响 | 第79页 |
| 4.4 可靠性驱动的高吞吐量实时任务调度机制概述 | 第79-81页 |
| 4.5 两阶段任务分配和调度算法 | 第81-84页 |
| 4.6 仿真实验与结果分析 | 第84-89页 |
| 4.6.1 合成任务和真实基准任务的实验设置 | 第85-86页 |
| 4.6.2 合成任务的实验验证与性能评估 | 第86-88页 |
| 4.6.3 真实基准任务的实验验证与性能评估 | 第88-89页 |
| 4.7 本章小结 | 第89-91页 |
| 第五章 可靠性驱动的长使用寿命实时任务调度机制研究 | 第91-129页 |
| 5.1 单处理器系统的可用时间优化机制 | 第92-113页 |
| 5.1.1 模型说明 | 第92-93页 |
| 5.1.2 计算瞬时故障对应的平均无故障时间 | 第93-94页 |
| 5.1.3 验证平均无故障时间计算方法的正确性 | 第94-100页 |
| 5.1.4 单处理器系统可用时间的优化问题 | 第100-102页 |
| 5.1.5 单处理器系统可用时间的优化框架 | 第102-105页 |
| 5.1.6 部分备份和提频策略 | 第105-110页 |
| 5.1.7 仿真实验与结果分析 | 第110-113页 |
| 5.2 多处理器系统的可用时间优化机制 | 第113-128页 |
| 5.2.1 模型说明 | 第113页 |
| 5.2.2 多处理器系统可用时间的计算 | 第113-114页 |
| 5.2.3 多处理器系统可用时间的优化策略 | 第114-117页 |
| 5.2.4 多处理器系统可用时间的优化算法 | 第117-121页 |
| 5.2.5 仿真实验与结果分析 | 第121-128页 |
| 5.3 本章小结 | 第128-129页 |
| 第六章 总结与展望 | 第129-132页 |
| 6.1 本文总结 | 第129-131页 |
| 6.2 未来展望 | 第131-132页 |
| 参考文献 | 第132-145页 |
| 简历 | 第145-148页 |
| 科研成果 | 第148-152页 |
| 致谢 | 第152-153页 |
