任务最坏执行时间分析与任务调度检测仿真工具的实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·课题背景与国内外研究现状 | 第9-11页 |
| ·课题综述 | 第11-12页 |
| ·论文结构 | 第12-14页 |
| 第二章 实时系统WCET分析流程 | 第14-21页 |
| ·WCET计算中任务的几个相关概念 | 第14-15页 |
| ·WCET静态分析方法的一般步骤 | 第15-20页 |
| ·控制流分析 | 第17-18页 |
| ·处理器状态分析 | 第18-19页 |
| ·WCET计算阶段 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 控制流分析以及 WCET 计算 | 第21-33页 |
| ·基本块的概念以及划分方法 | 第21-23页 |
| ·基本块的概念 | 第21-22页 |
| ·基本块的划分方法 | 第22-23页 |
| ·控制流程图（CFG） | 第23-30页 |
| ·控制流程图的概念 | 第23-24页 |
| ·控制流程图的构建 | 第24-30页 |
| ·CFG中的不可行路径分析 | 第30页 |
| ·WCET的计算 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 调度检测仿真工具SCST的设计 | 第33-45页 |
| ·任务可调度性分析的理论依据 | 第33-43页 |
| ·时间自动机的可达性判断 | 第33-34页 |
| ·外部事件自动机 | 第34-37页 |
| ·内部状态自动机 | 第37-41页 |
| ·差值有界矩阵（DBM）的概念与操作 | 第41-43页 |
| ·调度分析及仿真系统模型的设计与架构 | 第43-44页 |
| ·总体模型的设计 | 第43-44页 |
| ·任务模型的设计 | 第44页 |
| ·本章小结 | 第44-45页 |
| 第五章 调度检测仿真工具SCST的实现 | 第45-61页 |
| ·SCST的总体架构 | 第45-46页 |
| ·SCST工具实现细节 | 第46-60页 |
| ·信息采集转换模块的设计 | 第47-50页 |
| ·调度分析模块的设计 | 第50-55页 |
| ·仿真模块的设计 | 第55-58页 |
| ·非周期任务外部时间自动机绘制模块的设计 | 第58-60页 |
| ·本章小结 | 第60-61页 |
| 第六章 工具的使用以及性能测试 | 第61-69页 |
| ·任务最坏执行时间静态分析方法的性能测试 | 第61页 |
| ·SCST的使用流程 | 第61-66页 |
| ·SCST工具的性能测试 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 第七章 课题总结 | 第69-70页 |
| 致谢 | 第70-71页 |
| 参考文献 | 第71-74页 |
