| 摘要 | 第1-3页 |
| Abstract | 第3-4页 |
| 目录 | 第4-6页 |
| 图目录 | 第6-8页 |
| 表目录 | 第8-9页 |
| 第1章 绪论 | 第9-17页 |
| ·研究背景、目的及意义 | 第9-10页 |
| ·基于AUTOSAR标准的模型开发综述 | 第10-15页 |
| ·汽车电子行业模型驱动软件开发方法概述 | 第10-11页 |
| ·基于AUTIOSAR标准的模型开发现状及意义 | 第11-15页 |
| ·新型的基于AUTOSAR标准的模型开发发展趋势 | 第15页 |
| ·研究重点和论文组织 | 第15-17页 |
| 第2章 SmartArchitect总体设计 | 第17-23页 |
| ·基于AUTOSAR开发目标分析 | 第17-18页 |
| ·总体设计 | 第18-22页 |
| ·基于AUTOSAR标准的MDA模型设计研究 | 第20-22页 |
| ·模型设计的信息生成研究 | 第22页 |
| ·本章小结 | 第22-23页 |
| 第3章 基于AUTOSAR标准的MDA模型设计研究 | 第23-58页 |
| ·领域专用语言SamtC开发平台SmartC-PLF | 第24-35页 |
| ·SmartC-PLF架构 | 第24页 |
| ·SmartC-PLF设计和实现 | 第24-28页 |
| ·SmartC-PLF一致性 | 第28-35页 |
| ·软件组件设计建模环境SmartSWC | 第35-47页 |
| ·SmartSWC架构 | 第35-36页 |
| ·SmartSWC的设计和实现 | 第36-47页 |
| ·基于MDA的模型转换方法 | 第47-57页 |
| ·针对SmartC-PLF的模型转换方法 | 第48-51页 |
| ·针对SmartSWC的模型转换方法 | 第51-55页 |
| ·AUTOSAR模型资源库 | 第55-56页 |
| ·模型检查 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第4章 模型设计的信息生成研究 | 第58-67页 |
| ·SWC描述文件生成SmartSWCXMLGen | 第58-61页 |
| ·SmartSWCXMLGen架构 | 第58-59页 |
| ·SmartSWCXMLGen设计和实现 | 第59-61页 |
| ·文档自动生成SmartDocGen | 第61-67页 |
| ·SmartDocGen架构 | 第61-62页 |
| ·SmartDocGen设计和实现 | 第62-66页 |
| ·本章小结 | 第66-67页 |
| 第5章 SmartArchitect应用实例 | 第67-78页 |
| ·自动变速箱控制系统介绍 | 第67页 |
| ·AMT需求建模 | 第67-70页 |
| ·用例分析 | 第67-68页 |
| ·对象模型分析 | 第68页 |
| ·状态分析 | 第68-69页 |
| ·针对SmartC-PLF的模型转换 | 第69-70页 |
| ·针对SmartSWC的模型转换 | 第70页 |
| ·AMT系统模型 | 第70-75页 |
| ·SmartC建模 | 第70-74页 |
| ·软件组件建模 | 第74-75页 |
| ·AMT软件组件描述文件生成 | 第75-76页 |
| ·AMT文档自动生成 | 第76-77页 |
| ·针对SmartC-PLF建模的文档自动生成 | 第76页 |
| ·针对SmartSWC建模的文档自动生成 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 第6章 总结与展望 | 第78-80页 |
| ·SmartArchitect特点评价 | 第78-79页 |
| ·SmartArchitect的未来展望 | 第79-80页 |
| 参考文献 | 第80-85页 |
| 攻读硕士学位期间主要的研究成果 | 第85-87页 |
| 致谢 | 第87页 |