A UML Model to Simulink Model Transformation Method in the Design of Embedded Software

Model Driven Development is becoming the trend of embedded software development, UML and Simulink are very important modeling languages. However, UML is a semi-formal modeling language, lacking of accurate semantics, which can't validate correctness of embedded software development. To solve this problem, this paper presents a model transformation method between UML design model and Simulink simulation model. The method consists of UML StateMachine meta-model, Simulink/Stateflow meta-model and a set of mapping rules from UML meta-model to Simulink meta-model. Last we apply this method to flight control software of autopilot system. The method implements automatic transformation from UML to Simulink, improving development efficiency of embedded software, and providing technique support for embedded software development, such as automobile control system, express control system, and avionics system.