| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 表格索引 | 第11-12页 |
| 插图索引 | 第12-13页 |
| 主要符号对照表 | 第13-14页 |
| 第一章 绪论 | 第14-26页 |
| ·可预测性的定义 | 第14-16页 |
| ·可预测性的研究趋势 | 第16页 |
| ·服务体执行流模型的时间可预测性 | 第16-18页 |
| ·服务体执行流模型和Minicore | 第16-18页 |
| ·服务体执行流模型中通信模块的时间可预测性 | 第18页 |
| ·国内外研究现状和发展趋势 | 第18-23页 |
| ·Mach | 第18-19页 |
| ·L4 | 第19-20页 |
| ·Minix | 第20-22页 |
| ·QNX | 第22-23页 |
| ·本文主要工作与贡献 | 第23-24页 |
| ·本文组织结构 | 第24-26页 |
| 第二章 时间可预测实时系统中的设计范式 | 第26-30页 |
| ·事件触发系统 | 第26-27页 |
| ·通信协议 | 第26-27页 |
| ·服务体执行流模型 | 第27页 |
| ·时间触发系统 | 第27-28页 |
| ·通信协议 | 第27-28页 |
| ·TTA：基于时间触发的实时系统架构 | 第28页 |
| ·事件触发和时间触发的对比 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 服务体执行流模型中通信的可预测性测量 | 第30-46页 |
| ·Minicore：基于服务体执行流模型的操作系统 | 第30-31页 |
| ·消息推动的设计思想 | 第31-32页 |
| ·消息推动过程 | 第32页 |
| ·消息推动的三种方式 | 第32-36页 |
| ·同步连续 | 第33-34页 |
| ·同步分离 | 第34-35页 |
| ·异步方式 | 第35页 |
| ·小结 | 第35-36页 |
| ·系统响应时间分析 | 第36页 |
| ·通信的可预测性问题分析 | 第36-39页 |
| ·查找服务端口 | 第36-37页 |
| ·消息发送与返回 | 第37-39页 |
| ·通信模块的WCET分析和计算 | 第39-43页 |
| ·提取目标代码片段 | 第40页 |
| ·程序控制流分析 | 第40-42页 |
| ·处理器特征分析 | 第42页 |
| ·WCET计算 | 第42-43页 |
| ·系统通信模块的时间可预测性测量 | 第43-44页 |
| ·时间可预测性的测量指标 | 第43页 |
| ·计算Minicore通信模块的时间可预测性 | 第43-44页 |
| ·本章小结 | 第44-46页 |
| 第四章 服务体执行流中的懒惰引流 | 第46-56页 |
| ·Giotto：与平台无关的嵌入式时间触发语言 | 第46页 |
| ·LET：逻辑执行时间 | 第46-47页 |
| ·Minicore的消息时间 | 第47-49页 |
| ·消息超时 | 第48页 |
| ·消息的时间属性 | 第48-49页 |
| ·懒惰引流机制 | 第49-51页 |
| ·执行流切换的两种情况 | 第49页 |
| ·懒惰引流的设计方案 | 第49-51页 |
| ·懒惰引流的实现与性能 | 第51-54页 |
| ·懒惰引流的实现 | 第51-52页 |
| ·懒惰引流的性能分析 | 第52-53页 |
| ·实验与结果分析 | 第53-54页 |
| ·本章小结 | 第54-56页 |
| 第五章 总结与展望 | 第56-58页 |
| ·全文工作总结 | 第56页 |
| ·未来工作展望 | 第56-58页 |
| 参考文献 | 第58-62页 |
| 致谢 | 第62-64页 |
| 在读期间发表的学术论文与取得的研究成果 | 第64页 |