MISRA has developed a set of guidelines for users of control system modelling packages. The aim of the guidelines is to provide a set of rules, in a similar fashion to the MISRA C rules, which encourage good modelling practices and avoid poorly-defined features of the modelling language. In light of automotive industry trends, some rules will be aimed at the use of automatic code generators in safety-related systems.
The available documents are:
- MISRA AC GMG – Generic modelling design and style guidelines
- MISRA AC SLSF – Modelling design and style guidelines for the application of Simulink and Stateflow
- MISRA AC TL – Modelling style guidelines for the application of TargetLink in the context of automatic code generation
- MISRA AC AGC – Guidelines for the application of MISRA-C:2004 in the context of automatic code generation