Paper, 9 p.
Model-based development and automatic code generation are an established technology in the controller design process. Numerous modeling guidelines are built to improve the quality of the developed model and the generated code with respect to readability, robustness, safety, efficiency, maintainability and other aspects. Some guidelines are necessary to enable
code generation. 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 for analysis and
improvement of MATLAB Simulink and Stateflow models.
Developers are aided in automatically detecting as well as fully-automatically or interactively eliminating guideline violations. In addition, instantiating modeling patterns is automated. Thus creating guideline compliant models is made easier. Furthermore, support in calculating model metrics is provided.
The automation of model analysis and metrics calculation aid developers with assessing the model quality while tool support for eliminating guideline violations and instantiating modeling patterns help to improve the model quality.
