| With the development of automobile industry, vehicle equipment has become more and more networked and intelligent. It has become too hard to confirm the real-time ability,extensive ability and correctness of software system. In order to solve these problems, automobile manufacturers, component suppliers and software companies have combined to formulate the OSEK/VDX and AUTOSAR specifications to provide open software architecture to manage the development of complicated automotive electronic systems. Model driven architecture and formal methods are new methodology and verification technology in software engineering. By constructing the model of software and generating the target code automatically,the MDA has greatly improved the efficiency of software development and reusability of software modules. The formal methods aim at conveying the semantic of the dynamic behavior of software,and use mathematical methods to prove the correctness and robust of software,with the support of third-party tools the behaviors of software can be derived step by step. In case that the MDA has not formed unified model elements to support automotive electronic systems,and formal methods are still in the development stage,the combination of both and being used to automotive electronics area is worth researching.The main content of this dissertation includes:Research the latest specifications of AUTOSAR OS and driver modules. Study the UML model language and construct the static model of eAuto OS according to AUTOSAR OS specification. Build the ASL action specification language and use ASL to construct the dynamic model of schedule table. Design the code generator from static and dynamic models to C language. Describe the semantics of UML modeling elements and ASL syntax elements. Set up the cross-development and testing environment based on 9S12,coding the MCU driver of the platform and finally test the schedule table code generated by MDA methods. |
PDF Full Text Request