MATLAB Simulink/Stateflow Analysis and Transformation Environment (MATE)
Within the scope of the project MATE, which was funded by DaimlerChrysler AG, research was done how whith the usage of Model- and Graphtranformation-Tools modeling guidelines for MATLAB Simuling and Stateflow could be automaticaly evaluated. Beyond the model analysis itself a automatical pattern detection was examined. This pattern detection has the aim to find model violations concerning guidelines and design pattern. Furthermore the subsequent interactive transformation of models (elimination of violations of guidelines and use of design patterns) was examined.
A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink. Giese, Holger; Meyer, Matthias; Wagner, Robert in Technical Report, H. Giese, B. Westfechtel (reds.) (2006). (Vol. 06-275) 56–60.