基于共享总线的多核实时系统WCET分析
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-16页 |
| ·研究背景 | 第10-11页 |
| ·研究意义 | 第11-13页 |
| ·论文主要工作 | 第13-14页 |
| ·论文结构 | 第14-16页 |
| 第2章 相关技术与相关工作 | 第16-26页 |
| ·WCET分析技术 | 第16-19页 |
| ·WCET分析技术的概述 | 第16页 |
| ·WCET分析技术的分类 | 第16-17页 |
| ·静态WCET分析技术 | 第17-19页 |
| ·模型检测技术 | 第19-23页 |
| ·模型检测技术的概述 | 第19-20页 |
| ·模型检测技术的优缺点 | 第20-21页 |
| ·模型检测技术的主要内容 | 第21-23页 |
| ·相关工作 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第3章 系统模型与分析框架 | 第26-32页 |
| ·系统模型 | 第26-27页 |
| ·系统模型假设 | 第27-28页 |
| ·分析框架 | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第4章 指令Cache与共享总线的分析 | 第32-52页 |
| ·指令Cache分析 | 第32-37页 |
| ·基于抽象解释技术的Cache分析方法 | 第32-34页 |
| ·Persistentce分析所存在的问题 | 第34-35页 |
| ·指令Cache分析流程 | 第35-37页 |
| ·共享总线分析 | 第37-49页 |
| ·程序建模 | 第38-45页 |
| ·共享总线建模 | 第45-49页 |
| ·多核系统建模 | 第49-50页 |
| ·本章小结 | 第50-52页 |
| 第5章 WCET分析工具实现与实验 | 第52-62页 |
| ·WCET分析工具的实现 | 第52-53页 |
| ·实验程序的选取 | 第53页 |
| ·实验 | 第53-61页 |
| ·基于TDMA总线的实验 | 第54-58页 |
| ·基于FCFS总线的实验 | 第58-61页 |
| ·本章小结 | 第61-62页 |
| 第6章 结论与未来工作 | 第62-64页 |
| ·结论 | 第62-63页 |
| ·未来工作 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-70页 |
| 攻读硕士期间科研情况 | 第70页 |
