| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-13页 |
| ·课题研究背景及意义 | 第8-9页 |
| ·国内外研究现状和存在的问题 | 第9-11页 |
| ·本文研究内容与组织结构 | 第11-13页 |
| 2 实时软件WCET分析技术 | 第13-21页 |
| ·WCET分析的定义、要求和组成 | 第13-14页 |
| ·程序流分析 | 第14-17页 |
| ·程序流分析方法 | 第14-16页 |
| ·流事实的表示 | 第16-17页 |
| ·低层分析 | 第17-19页 |
| ·Cache分析 | 第17-19页 |
| ·流水线分析 | 第19页 |
| ·WCET计算 | 第19-21页 |
| ·基于树的计算 | 第19-20页 |
| ·基于路径的计算 | 第20页 |
| ·隐藏路径枚举技术 | 第20-21页 |
| 3 WCET-ARM分析工具框架 | 第21-29页 |
| ·WCET分析框架 | 第21-22页 |
| ·控制流图 | 第22-24页 |
| ·域图 | 第24-27页 |
| ·时间模型 | 第27-29页 |
| 4 基于抽象解释的程序流分析 | 第29-43页 |
| ·基于抽象解释的程序流分析 | 第29-36页 |
| ·经典抽象解释分析方法 | 第29-31页 |
| ·扩展的抽象解释分析方法 | 第31-36页 |
| ·基于抽象解释的抽象域定义 | 第36-39页 |
| ·作为格的值区间 | 第36-37页 |
| ·值区间的运算 | 第37-38页 |
| ·抽象域值区间分析 | 第38-39页 |
| ·导出程序流分析 | 第39-43页 |
| ·循环上界的计算 | 第39-40页 |
| ·探测程序的不可达路径 | 第40-43页 |
| 5 低层分析 | 第43-52页 |
| ·全局低层分析 | 第43-49页 |
| ·cache语义 | 第43-45页 |
| ·cache分析 | 第45-49页 |
| ·流水线分析 | 第49-52页 |
| 6 WCET计算及其实验 | 第52-61页 |
| ·基于ILP的WCET计算 | 第52-56页 |
| ·WCET分析工具原型的实现 | 第56-58页 |
| ·使用基准程序测试结果及分析 | 第58-61页 |
| 结论 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 附录A 域图扩展算法 | 第66-71页 |
| A.1 虚拟域规范的提取算法 | 第66-67页 |
| A.2 虚拟域图创建算法 | 第67-69页 |
| A3 虚拟域图约束生成算法 | 第69-70页 |
| A4 域图的约束描述转换为可用于ILP计算的约束表达式算法 | 第70-71页 |
| 攻读硕士学位期间发表学术论文情况 | 第71-72页 |
| 致谢 | 第72-73页 |