The of embedded software development, UML and Simulink

The authors of 1 investigate the needs and some of the possibilities of combined usage of Simulink and UML. Structural and behavioral mappings are explored focusing on continuous-time and discrete-time models. They have presented a procedure for transforming Simulink models to UML composite structure and activity models. A mapping of the Simulink language to composite structure diagrams and attachment of behavior separately is suggested.In 2, the authors present a constellation of analysis techniques for architectural models described in EAST-ADL. Based on the needs of the current model-driven development in a chosen automotive context, they propose three analysis techniques of EAST-ADL architectural models, in an attempt to tackle some of the exposed design needs that includes simulation of EAST-ADL functions in Simulink. This is the case study where the authors show the potential of simulating EAST-ADL models in Simulink. The multidisciplinary nature of advanced embedded systems requires a combined usage of several tools and modeling languages in system development. The authors of 3 investigate the needs and some of the possibilities in simultaneous usage of Matlab/Simulink and UML. Structural and behavioral mappings are explored considering the needs for models at different abstraction level as well as environment models. The representation and mapping between behavioral models, including discrete-time, event-triggered, and continuous time systems is of special concern and solutions are discussed.Model Driven Development is becoming the trend of embedded software development, UML and Simulink are very important modelling 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, the authors of 4 present 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 they apply this method to flight control software 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. Even if SysML is considered as a flexible and standard tool for system engineering, using only descriptive models are insufficient for system behavior verifications. To deal with this concern, simulation environments like Matlab/Simulink allow verifying if the system preliminary design satisfies requirements or not. The authors of 5 propose an integration approach based on metamodeling and model transformations to generate Simulink models from SysML diagrams. This approach is handled by models and modern techniques of Model Driven Engineering.