| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 目录 | 第9-15页 |
| 第1章 绪论 | 第15-33页 |
| ·研究背景 | 第15-17页 |
| ·汽车电子软件开发概述 | 第17-25页 |
| ·汽车电子技术概述 | 第17-19页 |
| ·汽车电子系统的特点 | 第19-21页 |
| ·OSEK/VDX标准概述 | 第21-23页 |
| ·汽车电子软件开发的挑战 | 第23-25页 |
| ·基于模型开发概述 | 第25-27页 |
| ·研究动机 | 第27-29页 |
| ·研究内容与贡献 | 第29-30页 |
| ·本文结构 | 第30-33页 |
| 第2章 研究基础与现状 | 第33-63页 |
| ·基于模型的开发模式 | 第33-48页 |
| ·基于模型的开发过程 | 第33-36页 |
| ·基于模型与模型驱动 | 第36-39页 |
| ·基于模型与基于构件 | 第39-41页 |
| ·基于模型的关键步骤 | 第41-48页 |
| ·模型综合的研究现状 | 第48-51页 |
| ·不保证非功能约束的方法 | 第48-49页 |
| ·保证非功能约束的方法 | 第49-51页 |
| ·基于模型的项目与平台综述 | 第51-61页 |
| ·异构模型框架 | 第51-52页 |
| ·通用建模环境 | 第52-55页 |
| ·基于模型的嵌入式软件集成 | 第55-57页 |
| ·Rhapsody集成开发环境 | 第57-59页 |
| ·比较与分析 | 第59-61页 |
| ·本章小结 | 第61-63页 |
| 第3章 汽车电子软件模型综合(MOSAES)的理论框架 | 第63-77页 |
| ·理论框架 | 第63-66页 |
| ·相关模型 | 第66-74页 |
| ·结构模型 | 第66-70页 |
| ·平台模型 | 第70-72页 |
| ·约束模型 | 第72-73页 |
| ·实现模型 | 第73-74页 |
| ·本章小结 | 第74-77页 |
| 第4章 单处理器环境中时间优化的MOSAES方法 | 第77-119页 |
| ·问题的定义 | 第77-80页 |
| ·HKL可调度性分析算法 | 第80-86页 |
| ·混合调度方式下的模型综合方法 | 第86-104页 |
| ·混合调度方式下的定时验证方法 | 第86-96页 |
| ·混合调度方式下模型综合的过程 | 第96-104页 |
| ·分组调度方式下的模型综合方法 | 第104-114页 |
| ·分组调度方式下的定时验证方法 | 第104-109页 |
| ·分组调度方式下模型综合的过程 | 第109-114页 |
| ·实验结果与分析 | 第114-117页 |
| ·混合调度方式下的模型综合实验 | 第114-116页 |
| ·分组调度方式下的模型综合实验 | 第116-117页 |
| ·本章小结 | 第117-119页 |
| 第5章 分布式环境中多资源约束的MOSAES方法 | 第119-149页 |
| ·问题的定义 | 第119-121页 |
| ·模型综合的过程 | 第121-123页 |
| ·资源约束与计算平衡时的构件分配方法 | 第123-133页 |
| ·初始化 | 第124-125页 |
| ·构件的分配方法 | 第125-133页 |
| ·混合调度方式下的实现模型生成方法 | 第133-142页 |
| ·混合调度方式下的定时验证方法 | 第134-136页 |
| ·混合调度方式下实现模型生成的过程 | 第136-142页 |
| ·分组调度方式下的实现模型生成方法 | 第142-145页 |
| ·分组调度方式下的定时验证方法 | 第142页 |
| ·分组调度方式下实现模型生成的过程 | 第142-145页 |
| ·实验结果与分析 | 第145-148页 |
| ·本章小结 | 第148-149页 |
| 第6章 能量节省的MOSAES方法 | 第149-181页 |
| ·固定优先级线性事务模型中的节能方法 | 第149-169页 |
| ·相关工作 | 第149-152页 |
| ·分层动态电压缩放算法 | 第152-169页 |
| ·混合调度方式下能量节省的模型综合 | 第169-174页 |
| ·分组调度方式下能量节省的模型综合 | 第174-176页 |
| ·实验结果与分析 | 第176-178页 |
| ·混合调度方式下的节能效果 | 第176-177页 |
| ·分组调度方式下的节能效果 | 第177-178页 |
| ·本章小结 | 第178-181页 |
| 第7章 总结与展望 | 第181-185页 |
| ·本文工作总结 | 第181-183页 |
| ·未来工作展望 | 第183-185页 |
| 参考文献 | 第185-203页 |
| 攻读学位期间发表的学术论文 | 第203-205页 |
| 攻读学位期间参加项目情况 | 第205-207页 |
| 致谢 | 第207-209页 |
| 作者简介 | 第209页 |