Aerospace and Defense

Industry Standards

• DO-254
• DO-178B
• MISRA C
• NASA - Orion GN&C
• UK Aerospace and Defense - High-Integrity Systems

MISRA C

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.

MathWorks products, including Simulink, Stateflow, and Real-Time Workshop 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, The MathWorks maintains a feasibility analysis package and recommendations for generating MISRA C:2004 code when using Real-Time Workshop Embedded Coder with Simulink and Stateflow models. 

The MISRA C analysis package includes:

• Documentation with rules summary and detailed examples
• Simulink models

Details:

Request MISRA C information for Real-Time Workshop Embedded Coder

Key products for developing MISRA C applications:

• Simulink
• Stateflow
• Embedded Coder
• Polyspace code verification products

More about MathWorks support for MISRA C:

• Technical Article, Scripts, and Models: Checking Code and Models in Production Environments