Industry Standards


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:

  • Documentation with rules summary and detailed examples
  • Simulink models

Learn more about verifying MISRA compliance with Polyspace:

Key products for developing MISRA C applications: