MISRA-AutoCode

MISRA-AC kicked off the work in Q3 2005 with a meeting at BMW in Munich. We discussed the framework and levels (generic, modelling language, code generator, target code) at that meeting and embarked on the Simulink (modelling language), TargetLink (code generator) and target code (C) documents. The idea behind the project was to create a set of guidelines, akin to MISRA C, that would provide a suitable subset of the modelling language as highly recommended by IEC 61508 at SIL 3 and above.

MISRA-AC published MISRA-AC SLSF and and MISRA-AC GMG documents in Q2 2009, following on from the MISRA-AC AGC, MISRA-AC TL and MISRA-AC INT documents that were released in Q3 2007. MISRA AC INT gives more background and explains the structure of the documents including the naming convention.

The team are not working on any documents at the start of 2010, though they would like to expand the code generator coverage. Currently the only code generator covered by the documents is dSPACE's TargetLink. The MISRA-AC team would like to hear from users of other code generators who would be willing to contribute their experience and time to developing documents to cover their use. Contact chairman-AC@misra.org giving your relevant experience. NOTE the input required is from the end users not the tool manufacturers. Examples of code generators are MathWorks' Embedded Coder, Esterel's SCADE-Drive and ETAS' ASCET.