To help assess the quality of software code used in electronic control units, the Motor Industry Software Reliability Association (MISRA) introduced guidelines for using C code in software running in automobiles and aircraft.
Simulink, Stateflow, and Embedded Coder are widely used to generate embedded software for MISRA C®. Polyspace code verification products are used to analyze handwritten or generated code for MISRA-C:2004 compliance.
To assist users in their efforts to achieve MISRA C compliance, MathWorks maintains a feasibility analysis package and recommendations for generating MISRA C:2004 code when using Embedded Coder with Simulink and Stateflow models.
The MISRA C analysis package includes: