It is now increasingly used as a specification language for embedded control system software enabling developers to validate production code against the results of a simulation. A model acting as a specification needs to be much higher quality than one used for rapid prototyping.
Errors can lead to problems, particularly when the model is used with an automatic code generator.
Requiring developers to stick to coding guidelines for model architecture and programming style dramatically reduces this risk. The Role of the Style Checker Simulink is a very high-level language and gives rise to fewer errors than lower level languages, however a model can still be difficult to review. This is both because data flows across the page in two dimensions and because information is hidden in dialog boxes. Tarragon's is a static style checker for Simulink and Stateflow which checks that the model meets the requirements of a specified coding style guide. Use of greatly simplifies the review process allowing an engineer to concentrate on algorithm and clarity.