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
These documents are available to purchase from the MISRA webstore. In addition, an introductory document, MISRA AC INT, is available free-of-charge from the "Resources" section of the MISRA Bulletin Board.
The MISRA AC documents are organized in a hierarchy representing the complete workflow of model-based development, from the generic level (MISRA AC GMG) through a graphical language (MISRA AC SLSF), an autocode generator (MISRA AC TL) and the target language (MISRA AC AGC). MISRA intends to develop additional coverage of autocode languages and tools in the future. We would therefore value feedback on future items that should be covered, and volunteers to join Working Groups are very welcome.