论文部分内容阅读
本文针对基于模型的嵌入式汽车电子软件开发开发过程中的建模问题,探讨了如何将基于模型驱动的思想应用到嵌入式软件系统的建模过程中。同时,设计并实现了相应的模型开发工具SmartDesigner 3.5,以达到提高嵌入式软件开发效率的目的。SmartDesigner 3.5是集成开发环境SmartOSEK IDE 3.5的核心组成部分,能够提供可视的、图形的、层次化的建模环境,提供了支持UML建模与SmartC建模的功能,支持OSEK标准。同时,在模型创建的基础之上,提供模型检查、模型转换等功能。所有的模型数据都以XML文件形式保存,为后续的模型验证工作、代码自动生成、文档自动生成工作提供便利。本论文的主要工作总结为以下几个方面:1)通过对基于模型驱动的开发方法的研究以及国内外常用的建模工具的调研,提出了将基于模型驱动的开发方法应用到汽车电子软件开发过程中来,在提出集成开发环境SmartOSEK IDE 3.5的整体构架的同时,设计并实现了支持UML建模语言和SmartC建模语言的层次化的建模工具SmartDesigner。2)采用设计相互之间独立的数据模型、图像模型、工具模型来描述不同的模型层次,然后通过映射模型将这三者组合起来的开发模式,以保证建模工具不同层次设计与开发的规范性。3)通过对UML语言、SmartC语言的特征分析和特点对比,设计并实现了一套针对SmartC语言的模型转换策略。该套转换策略从UML模型的对象(模型)图和状态图中的信息提取对象和对象行为,对符合SmartC标准的应用程序模型进行模型转化。4)使用建模环境SmartDesigner 3.5为自动变速箱控制系统软件SmartAMT进行建模,并使用模型转换工具将UML模型转化为SmartC模型。