A Model-Driven Development Environment SmartDesigner 3.5

This thesis focuses on the modeling problem encountered in the Model-Driven Development of embedded automotive electronic software, In addition, it talks about the method to apply the theory of Model-Driven Development into modeling process of embedded software system. In the meantime, it designed and implemented an associated model development tool-SmartDesigner 3.5 to meet the demand of enhancing the efficiency of developing embedded software.SmartDesigner 3.5 is the core part of an Integrated Development Environment (IDE) - SmartOSEK IDE 3.5 which can offer a visual, graphical and hirarchical modeling environment. It supports the models of UML and SmartC, and conforms to OSEK standard. In addition to the modeling, it can also provide the function of model checking, model transformation. All the model data is saved in XML files which would be beneficial to the subsequent model verification, code generation and document generation.This article focuses on these aspects:1) After the research of Model-Driven Development and the popular modeling tool in the domestic and abroad market, it suggested the application of Model-Driven Development theory into the automotive electronic software development procedure. After the introduction of SmartOSEK IDE 3.5, it designs and implements a UML-compliant and SmartC-compliant modeling tool SmartDesigner.2) It adopts the design pattern of mutual independent models of domain model, graphic model and tool model to describe the different layers, and then by the creation of mapping model to map these three model together with the attemptation of ensuring the normativeness of the developing procedure.3) With the analysis of UML feature and SmartC feature, it designed and implemented a transformation strategy for SmartC. This strategy extracts the information from UML object model diagram and state chart, and transformed the SmartC-compliant application from UML model to SmartC model. 4) With the SmartDesigner 3.5, it demonostrated the modeling process of constructing an automated mechanical transmission control software-SmartAMT, and used the transformation tool to convert UML models to SmartC model.