| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-14页 |
| ·课题背景 | 第10-11页 |
| ·研究的目标和意义 | 第11页 |
| ·创新点 | 第11-12页 |
| ·论文安排 | 第12-14页 |
| 第2章 相关工作 | 第14-24页 |
| ·实时调度基本理论 | 第14-17页 |
| ·基本概念和相关术语 | 第14-15页 |
| ·实时系统 | 第15-16页 |
| ·实时调度 | 第16页 |
| ·实时调度算法的性能评估标准 | 第16-17页 |
| ·常用调度算法概述 | 第17-19页 |
| ·RM调度算法 | 第17-18页 |
| ·DM调度算法 | 第18页 |
| ·EDF调度算法 | 第18-19页 |
| ·LSF调度算法 | 第19页 |
| ·实时调度分析的三种方法 | 第19-21页 |
| ·定理推导验证方法 | 第19-20页 |
| ·模拟验证方法 | 第20-21页 |
| ·模型检测方法 | 第21页 |
| ·FPGA调度问题的相关工作 | 第21-24页 |
| ·1D模型下的硬件任务实时调度问题及可调度判定研究进展 | 第21-22页 |
| ·2D模型下的区域管理策略和调度问题研究进展 | 第22页 |
| ·区域碎片度的评估问题研究现状 | 第22-24页 |
| 第3章 基于模拟方法的FPGA实时调度分析 | 第24-34页 |
| ·基本概念 | 第25-27页 |
| ·模拟的硬件任务模型 | 第27-29页 |
| ·模拟调度系统模型 | 第29-32页 |
| ·可调度性判定 | 第32-33页 |
| ·调度性能的评价标准 | 第33页 |
| ·任务的放置策略选择 | 第33页 |
| ·本章小结 | 第33-34页 |
| 第4章 基于模型检测的FPGA实时调度分析 | 第34-44页 |
| ·时间自动机及UPPAAL简介 | 第34-36页 |
| ·时间自动机理论 | 第34-35页 |
| ·UPPAAL简介 | 第35-36页 |
| ·使用UPPAAL对可抢占调度进行建模 | 第36-40页 |
| ·问题描述 | 第36-37页 |
| ·建模 | 第37-40页 |
| ·使用UPPAAL对不可抢占调度进行建模 | 第40-43页 |
| ·问题描述 | 第40页 |
| ·建模 | 第40-43页 |
| ·本章小结 | 第43-44页 |
| 第5章 验证工具Veri Tool的设计与实现 | 第44-66页 |
| ·系统结构设计 | 第44-55页 |
| ·总体系统结构 | 第45-48页 |
| ·Client端结构设计 | 第48页 |
| ·Server端结构设计 | 第48-50页 |
| ·Client/Server通信协议 | 第50-55页 |
| ·model-checking以及推导验证部分 | 第55-56页 |
| ·model-checking验证流程 | 第55页 |
| ·推导验证流程 | 第55-56页 |
| ·模拟验证 | 第56-64页 |
| ·模拟器的结构 | 第56-62页 |
| ·模拟器的运行流程 | 第62-63页 |
| ·模拟验证引擎的运行流程 | 第63-64页 |
| ·本章小结 | 第64-66页 |
| 第6章 实验结果及分析 | 第66-74页 |
| ·各种方法接受率的测试 | 第66-70页 |
| ·模拟验证与模型检测接受率比较 | 第66-67页 |
| ·定理推导与模拟检测接受率的比较 | 第67-70页 |
| ·不同重配置比例下各方法任务接受率的测试 | 第70页 |
| ·各种方法可伸展性的测试 | 第70-72页 |
| ·实验结果分析 | 第72-74页 |
| 第7章 结论与展望 | 第74-76页 |
| 参考文献 | 第76-80页 |
| 致谢 | 第80-82页 |
| 科研项目和论文发表情况 | 第82页 |