| 摘要 | 第1-7页 |
| Abstract | 第7-14页 |
| 第1章 绪论 | 第14-21页 |
| ·研究背景 | 第14-18页 |
| ·研究内容 | 第18-19页 |
| ·论文的组织结构 | 第19-21页 |
| 第2章 实时系统低能耗调度理论 | 第21-39页 |
| ·实时调度理论 | 第21-27页 |
| ·基本概念 | 第21-22页 |
| ·实时调度算法 | 第22-23页 |
| ·实时调度算法研究现状 | 第23-26页 |
| ·实时系统的可调度性验证 | 第26-27页 |
| ·容错实时调度理论 | 第27-31页 |
| ·基本概念 | 第28页 |
| ·容错实时调度算法研究现状 | 第28-31页 |
| ·实时系统的能耗优化调度理论 | 第31-38页 |
| ·CMOS电路功耗模型 | 第31-32页 |
| ·能耗优化技术 | 第32-33页 |
| ·实时系统的能耗优化调度 | 第33页 |
| ·实时能耗优化调度算法研究现状 | 第33-37页 |
| ·容错实时系统能耗优化调度问题 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第3章 分布式实时系统可调度性验证的形式化方法研究 | 第39-57页 |
| ·实时系统形式化描述模型概述 | 第39-42页 |
| ·频率相关的时间Petri网(FRTPN) | 第42-46页 |
| ·问题的提出 | 第42-43页 |
| ·模型定义 | 第43-45页 |
| ·FRTPN模型上的能耗分析 | 第45-46页 |
| ·基于FRTPN模型的实时系统可调度性验证 | 第46-47页 |
| ·分布式容错实时系统的FRTPN模型 | 第47-56页 |
| ·分布式实时系统 | 第47-52页 |
| ·基于检查点的容错机制 | 第52-56页 |
| ·本章小结 | 第56-57页 |
| 第4章 基于FRTRN模型的面向能耗优化的调度 | 第57-79页 |
| ·实时系统能耗优化调度概述 | 第57-60页 |
| ·模型描述 | 第60-61页 |
| ·系统模型 | 第60页 |
| ·能耗模型 | 第60-61页 |
| ·FRTPN模型上的DVS调度 | 第61-68页 |
| ·能耗渐变率驱动的DVS调度算法 | 第61-62页 |
| ·存在的问题 | 第62-65页 |
| ·基于能耗/时间渐变率的DVS调度算法 | 第65-68页 |
| ·FRTPN模型上的任务分配 | 第68-73页 |
| ·存在的问题 | 第68-69页 |
| ·设计思路 | 第69-72页 |
| ·算法描述 | 第72-73页 |
| ·算法的优化实现 | 第73-74页 |
| ·模拟实验及结果分析 | 第74-78页 |
| ·本章小结 | 第78-79页 |
| 第5章 面向能耗优化的容错实时调度 | 第79-97页 |
| ·问题的提出 | 第79-81页 |
| ·系统模型和问题描述 | 第81-83页 |
| ·系统模型描述 | 第82页 |
| ·问题描述与分析 | 第82-83页 |
| ·基/副版本静态DVS调度 | 第83-86页 |
| ·设计思想 | 第83-85页 |
| ·静态DVS调度算法 | 第85-86页 |
| ·基/副版本动态DVS调度 | 第86-90页 |
| ·基/副版本任务执行频率的设置 | 第87页 |
| ·松弛时间的回收 | 第87-88页 |
| ·动态DVS调度算法 | 第88-89页 |
| ·算法的可调度性分析 | 第89-90页 |
| ·基/副版本时限的优化分配 | 第90-92页 |
| ·设计思想 | 第90-92页 |
| ·算法描述 | 第92页 |
| ·模拟实验及结果分析 | 第92-96页 |
| ·实验方案 | 第93页 |
| ·实验结果分析 | 第93-96页 |
| ·本章小结 | 第96-97页 |
| 第6章 总结与展望 | 第97-100页 |
| ·论文工作总结 | 第97-99页 |
| ·进一步工作 | 第99-100页 |
| 参考文献 | 第100-110页 |
| 攻读学位期间发表的学术论文目录 | 第110页 |