| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 术语表 | 第10-11页 |
| 第一章 引言 | 第11-17页 |
| ·背景 | 第11-12页 |
| ·问题的提出 | 第12-15页 |
| ·论文目标与章节安排 | 第15-17页 |
| 第二章 相关理论基础 | 第17-27页 |
| ·实时系统 | 第17页 |
| ·AUTOSAR 技术研究 | 第17-22页 |
| ·软件体系结构 | 第18-19页 |
| ·VFB | 第19-20页 |
| ·RTE | 第20-22页 |
| ·汽车系统 | 第22-23页 |
| ·OSEK 标准 | 第22页 |
| ·总线标准 | 第22-23页 |
| ·相关工作 | 第23-25页 |
| ·国内研究现状 | 第23页 |
| ·国外研究现状 | 第23-25页 |
| ·调度分析技术介绍 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 建模语言对调度分析支持的研究 | 第27-36页 |
| ·支持调度分析的建模需求 | 第27-30页 |
| ·系统角度的要素 | 第27-29页 |
| ·系统时间约束 | 第27-28页 |
| ·End-to-end 流 | 第28-29页 |
| ·触发事件 | 第29页 |
| ·软件和硬件资源 | 第29页 |
| ·设计角度的要素 | 第29-30页 |
| ·应用和平台 | 第29-30页 |
| ·部署信息以及改进 | 第30页 |
| ·知识产权保护 | 第30页 |
| ·建模语言研究 | 第30-34页 |
| ·汽车电子行业重要的建模语言 | 第31-33页 |
| ·建模语言的建模能力分析 | 第33-34页 |
| ·控制管理系统复杂性 | 第33页 |
| ·定义无缝的工具链 | 第33页 |
| ·支持时间验证 | 第33-34页 |
| ·调度分析工具介绍 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 映射 runnable 到 OS 任务的模型设计与实现 | 第36-61页 |
| ·指导框架设计 | 第36-46页 |
| ·汽车电子开发指导框架 | 第36-39页 |
| ·系统层 | 第37-39页 |
| ·设计层 | 第39页 |
| ·实现层 | 第39页 |
| ·支持调度分析的模型设计 | 第39-46页 |
| ·AUTOSAR 可调度分析模型 | 第39-41页 |
| ·模型参数的生成方法 | 第41-44页 |
| ·支持自动映射的数据结构设计 | 第44-45页 |
| ·数据结构的生成和获取 | 第45-46页 |
| ·映射模型设计 | 第46-57页 |
| ·线性 runnable 拓扑结构映射算法设计 | 第46-48页 |
| ·非线性 runnable 拓扑结构映射算法设计 | 第48-51页 |
| ·映射指导规则 | 第51-57页 |
| ·一般性指导规则 | 第51-53页 |
| ·映射基本情形 | 第53-56页 |
| ·细节指导规则 | 第56-57页 |
| ·基于 Artop 平台的自动映射设计探索 | 第57-60页 |
| ·主要数据结构 | 第57-58页 |
| ·记录解析的结果 | 第58-59页 |
| ·扫描每一条规则合并 runnable 到任务中 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 第五章 映射方案评估 | 第61-70页 |
| ·巡航系统系统实例的验证 | 第61-67页 |
| ·AUTOAR 模型和 MAST 模型转换 | 第61-64页 |
| ·线性拓扑结构的调度结果分析 | 第64-67页 |
| ·映射结果横向分析 | 第64-66页 |
| ·映射效果纵向分析 | 第66-67页 |
| ·非线性的拓扑结构映射调度分析 | 第67-69页 |
| ·多对一的 runnable 拓扑结构 | 第67页 |
| ·一对多的 runnable 拓扑结构 | 第67-69页 |
| ·本章小结 | 第69-70页 |
| 第六章 总结与展望 | 第70-72页 |
| ·总结 | 第70-71页 |
| ·本文的主要工作与结论 | 第70页 |
| ·本文的创新点 | 第70-71页 |
| ·进一步工作 | 第71-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-77页 |