Automated Transformation of MATLAB , Simulink and Stateflow Models

Model-based development and automatic code generation have become an established technology in the controller design process. Numerous modeling guidelines are build to enable or improve code generation , raise code efficiency and to ease model comprehension. Manually checking guideline conformance of complex models as well as manually eliminating guideline violations can be error-prone and laborious. In this paper we present an approach which provides developers with tool support in analysis and improvement of MATLAB, Simulink and Stateflow models. Developers have the possibility to automatically detect and interactively eliminate guideline violations. Furthermore, they get support in creating guideline compliant models, e.g. by instantiating modeling patterns.