| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-12页 |
| 图索引 | 第12-15页 |
| 表索引 | 第15-16页 |
| 第1章 引言 | 第16-32页 |
| ·研究背景 | 第16-17页 |
| ·嵌入式系统与软件概述 | 第17-18页 |
| ·汽车电子的发展及挑战 | 第18-25页 |
| ·汽车电子发展概述 | 第18-20页 |
| ·汽车电子的关键系统 | 第20-22页 |
| ·汽车电子发展的挑战 | 第22-23页 |
| ·汽车电子软件开发的问题 | 第23-25页 |
| ·基于模型的软件开发思想 | 第25-27页 |
| ·模型驱动的软件开发思想 | 第27-28页 |
| ·研究动机 | 第28-30页 |
| ·论文的主要内容和贡献 | 第30-31页 |
| ·论文结构 | 第31-32页 |
| 第2章 研究基础和现状 | 第32-62页 |
| ·汽车电子软件的开发综述 | 第32-41页 |
| ·汽车电子软件开发方法 | 第32-33页 |
| ·传统开发方法的不足 | 第33-34页 |
| ·开发方法的发展趋势 | 第34-36页 |
| ·OSEK/VDX标准概述 | 第36-38页 |
| ·AutoSAR体系架构 | 第38-41页 |
| ·基于模型的软件设计方法 | 第41-56页 |
| ·嵌入式系统建模方法 | 第41-45页 |
| ·嵌入式系统计算模型 | 第45-46页 |
| ·嵌入式系统设计语言 | 第46-50页 |
| ·基于构件的系统设计 | 第50-55页 |
| ·基于模型方法的工具 | 第55-56页 |
| ·模型驱动的软件开发方法 | 第56-61页 |
| ·模型驱动框架-MDA | 第57-58页 |
| ·统一建模语言-UML | 第58-60页 |
| ·模型驱动的设计平台 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 第3章 基于模型驱动的汽车电子软件开发方法-ModaEDA | 第62-78页 |
| ·ModaEDA的开发思想 | 第62-74页 |
| ·ModaEDA的设计目标 | 第62-64页 |
| ·ModaEDA的设计理论 | 第64-71页 |
| ·ModaEDA的开发流程 | 第71-74页 |
| ·ModaEDA的核心方法 | 第74-76页 |
| ·ModaEDA的关键技术 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 第4章 支持 ModaEDA方法的建模语言-SmartC | 第78-108页 |
| ·SmartC语言概述 | 第78-79页 |
| ·SmartC的主要特点 | 第79-81页 |
| ·SmartC语言的结构 | 第81-90页 |
| ·SmartC的层次结构 | 第81-89页 |
| ·SmartC的语法表达 | 第89-90页 |
| ·SmartC语言的机制 | 第90-107页 |
| ·SmartC的构件结构 | 第90-93页 |
| ·SmartC的通信机制 | 第93-97页 |
| ·SmartC的并发特性 | 第97-101页 |
| ·SmartC的计算模型 | 第101-104页 |
| ·SmartC与AutoSAR架构 | 第104-107页 |
| ·本章小结 | 第107-108页 |
| 第5章 ModaEDA方法的模型转换与验证 | 第108-128页 |
| ·模型转换方法研究 | 第108-114页 |
| ·模型转换概述 | 第108-109页 |
| ·模型转换规则 | 第109-113页 |
| ·模型同步方法 | 第113-114页 |
| ·模型验证方法研究 | 第114-127页 |
| ·形式化方法 | 第114-115页 |
| ·模型的验证 | 第115-123页 |
| ·可调度性分析 | 第123-127页 |
| ·本章小结 | 第127-128页 |
| 第6章 支持 ModaEDA方法的平台与开发实例 | 第128-150页 |
| ·ModaEDA开发平台-SmartOSEK | 第128-138页 |
| ·SmartOSEK操作系统 | 第129-131页 |
| ·SmartOSEK IDE | 第131-138页 |
| ·ModaEDA开发实例-SmartAMT | 第138-148页 |
| ·SmaltAMT应用背景 | 第138页 |
| ·SmartAMT整体结构 | 第138-139页 |
| ·SmartAMT需求建模 | 第139-141页 |
| ·SmartAMT模型转换 | 第141页 |
| ·SmartAMT系统建模 | 第141-145页 |
| ·SmartAMT验证模型的构造 | 第145-146页 |
| ·SmartAMT控制算法 | 第146-147页 |
| ·SmartAMT控制系统 | 第147-148页 |
| ·本章小结 | 第148-150页 |
| 第7章 结束语 | 第150-152页 |
| ·本文工作总结 | 第150-151页 |
| ·未来工作设想 | 第151-152页 |
| 参考文献 | 第152-160页 |
| 攻读博士期间发表论文及专利申请 | 第160-163页 |
| 发表和录用的论文 | 第160-162页 |
| 知识产权申请 | 第162-163页 |
| 专利申请 | 第162页 |
| 软件著作版权 | 第162-163页 |
| 攻读博士期间参加项目情况 | 第163-164页 |
| 致谢 | 第164-166页 |
| 附录 SmartC语言规范 | 第166-193页 |
| ·SmartC语言概述 | 第166-168页 |
| ·SmartC语言的特点 | 第167-168页 |
| ·SmartC与 C语言的关系 | 第168页 |
| ·SmartC的语法 | 第168-191页 |
| ·SmartC的关键字 | 第168-170页 |
| ·SmartC的文件 | 第170页 |
| ·SmartC的语句 | 第170-172页 |
| ·SmartC的对象 | 第172-180页 |
| ·SmartC的实体 | 第180-191页 |
| ·SmartC的库 | 第191-193页 |
| ·SmartC基础软件库 | 第191-192页 |
| ·SmartC基本算法库 | 第192-193页 |