A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink

Nowadays, the software for electronic control units in em-bedded systems is often developed using a chain of model-based development tools. For example, in the field of auto-motive systems often tools like Matlab/Simulink and related code generation tools such as dSPACE TargetLink are used. To ensure that the produced models can be processed as expected by the employed tool chains, i.e., fulfill all requi-rements of the later process phases, they have to adhere to a large number of often tool specific as well as organization specific guidelines. In this paper, we present a first prototy-pe for a tool which supports the specification and checking of guidelines for the Matlab/Simulink environment. In addi-tion, we discuss first ideas for the specification of guidelines using examples in Matlab/Simulink notation as well as the semi-automatic correction of guideline violations. 1