| 摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 第1章 绪论 | 第13-21页 |
| ·研究背景及意义 | 第13-15页 |
| ·国内外研究现状 | 第15-18页 |
| ·本文研究内容 | 第18-19页 |
| ·本文的组织结构 | 第19-21页 |
| 第2章 WCET分析研究背景 | 第21-39页 |
| ·影响程序WCET及分析复杂性的主要因素 | 第21-23页 |
| ·主流WCET分析技术 | 第23-36页 |
| ·静态WCET分析技术 | 第24-33页 |
| ·动态WCET分析技术 | 第33-35页 |
| ·静态分析技术与动态分析技术的比较 | 第35-36页 |
| ·WCET分析的可用性问题 | 第36-37页 |
| ·小结 | 第37-39页 |
| 第3章 基于模型检测技术的WCET计算方法 | 第39-65页 |
| ·相关工作 | 第39-43页 |
| ·模型检测技术 | 第39-42页 |
| ·基于模型检测技术的WCET分析 | 第42-43页 |
| ·基本概念与定义 | 第43-46页 |
| ·假设与问题描述 | 第43-44页 |
| ·一个简单的示例程序 | 第44-45页 |
| ·程序控制流程图的形式化定义 | 第45-46页 |
| ·基于模型检测技术的WCET计算技术 | 第46-54页 |
| ·采用模型检测技术求解WCET的基本思路 | 第46-49页 |
| ·采用SPIN模型检测器建模 | 第49-51页 |
| ·采用NuSMV模型检测器建模 | 第51-52页 |
| ·采用UPPAAL模型检测器建模 | 第52-54页 |
| ·基于隐式路径枚举技术的WCET计算技术 | 第54-55页 |
| ·实验与结果分析 | 第55-64页 |
| ·实验环境 | 第55-56页 |
| ·实验结果与分析 | 第56-61页 |
| ·对基于模型检测技术的WCET计算方法的评价 | 第61-64页 |
| ·小结 | 第64-65页 |
| 第4章 基于剪枝思想的单核指令Cache分析 | 第65-83页 |
| ·相关工作 | 第65-66页 |
| ·剪枝的基本思想和关键问题 | 第66-69页 |
| ·基本假设与定义 | 第69-70页 |
| ·特殊分支结构的分析 | 第70-73页 |
| ·普通分支结构的分析 | 第73-79页 |
| ·单层循环的剪枝 | 第73-77页 |
| ·多层循环的剪枝 | 第77-79页 |
| ·实验结果与分析 | 第79-82页 |
| ·小结 | 第82-83页 |
| 第5章 多核共享指令Cache分析 | 第83-107页 |
| ·相关工作 | 第84-86页 |
| ·多核共享Cache给实时系统分析带来的新问题 | 第84-86页 |
| ·面向多核共享Cache的WCET分析相关工作 | 第86页 |
| ·多核共享Cache体系结构模型与假设 | 第86-88页 |
| ·基于模型检测技术的多核共享Cache行为分析 | 第88-101页 |
| ·分析框架 | 第88-90页 |
| ·L1独立Cache分析 | 第90-93页 |
| ·采用UPPAAL模型检测器的建模方法 | 第93-99页 |
| ·对基本模型的进一步优化 | 第99-101页 |
| ·实验结果与分析 | 第101-106页 |
| ·实验方法与设置 | 第101-102页 |
| ·实验结果与分析 | 第102-106页 |
| ·小结 | 第106-107页 |
| 第6章 实时操作系统中的WCET分析与应用 | 第107-125页 |
| ·相关工作 | 第108-111页 |
| ·μC/OS-Ⅱ实时操作系统简介 | 第111页 |
| ·μC/OS-Ⅱ禁止中断区间WCET分析 | 第111-115页 |
| ·禁止中断区间分析框架 | 第112-113页 |
| ·禁止中断区间的提取 | 第113-115页 |
| ·实验方法及实验设置 | 第115-118页 |
| ·分析工具的配置 | 第115-116页 |
| ·实验方法 | 第116-118页 |
| ·实验结果与分析 | 第118-121页 |
| ·对系统调用分析精度的评价 | 第118-120页 |
| ·对禁止中断区间WCET分析的评价 | 第120-121页 |
| ·目前尚存在的问题 | 第121-124页 |
| ·单值WCET分析的不足 | 第121-123页 |
| ·任务切换对分析结果的影响 | 第123-124页 |
| ·小结 | 第124-125页 |
| 第7章 支持多核体系结构的WCET分析工具的设计与实现 | 第125-131页 |
| ·概述 | 第125页 |
| ·系统功能设计 | 第125-129页 |
| ·系统实现 | 第129页 |
| ·小结 | 第129-131页 |
| 第8章 结论 | 第131-133页 |
| ·本文的主要贡献与结论 | 第131-132页 |
| ·进一步的工作 | 第132-133页 |
| 参考文献 | 第133-143页 |
| 致谢 | 第143-145页 |
| 攻博期间发表的论文 | 第145-147页 |
| 攻博期间参与的项目 | 第147-149页 |
| 作者简介 | 第149-151页 |
| 附录A: μC/OS-Ⅱ系统调用分析实验结果 | 第151-153页 |
| 附录B: μC/OS-Ⅱ禁止中断区间分析实验结果 | 第153页 |