| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-18页 |
| ·WCET 分析的简介 | 第10-13页 |
| ·静态 WCET 分析简介 | 第13-15页 |
| ·相关工作 | 第15-17页 |
| ·论文的组织结构 | 第17-18页 |
| 第二章 WCET 静态分析方法 | 第18-30页 |
| ·流分析 | 第19-22页 |
| ·底层分析 | 第22-26页 |
| ·全局底层分析（ Global Low-level analysis） | 第22-24页 |
| ·局部底层分析 | 第24-26页 |
| ·估值计算 | 第26-29页 |
| ·基于树形计算方法 | 第26-27页 |
| ·基于路径计算方法 | 第27-28页 |
| ·基于 IPET 计算方法 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 抽象分析 | 第30-36页 |
| ·抽象解析 | 第30-31页 |
| ·抽象分析 | 第31-34页 |
| ·抽象替换算法 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 基于抽象分析的 WCET 分析的设计 | 第36-70页 |
| ·构建控制流图 CFG | 第36-39页 |
| ·目标代码分块 | 第37-38页 |
| ·建立控制流 | 第38-39页 |
| ·构建控制流图 CFG | 第39页 |
| ·流分析阶段的设计 | 第39-57页 |
| ·控制流图的抽象结构 | 第41-42页 |
| ·基于抽象分析的流分析 | 第42-47页 |
| ·流分析的结构设计 | 第47-56页 |
| ·优化流分析 | 第56-57页 |
| ·MPC5634 处理器建模 | 第57-63页 |
| ·分支预测模型 | 第59-60页 |
| ·流水线模型 | 第60-63页 |
| ·估值计算阶段的设计 | 第63-69页 |
| ·基本结构的计算 | 第65-66页 |
| ·抽象合并 | 第66-67页 |
| ·全局信息表 | 第67页 |
| ·结合流信息进行估值计算 | 第67-69页 |
| ·本章小结 | 第69-70页 |
| 第五章 功能实现与测试结果 | 第70-82页 |
| ·功能实现 | 第70-76页 |
| ·测试结果 | 第76-81页 |
| ·结果数据比较 | 第80-81页 |
| ·本章小结 | 第81-82页 |
| 第六章 总结与将来的工作 | 第82-84页 |
| 参考文献 | 第84-87页 |