Model Checks for MISRA C:2012 Compliance

To check that your model or subsystem has a likelihood of generating MISRA C:2012 compliant code, open the Model Advisor and run the checks in By Task > Modeling Guidelines for MISRA C:2012:

• Check usage of Assignment blocks

• Check for blocks not recommended for MISRA C:2012

• Check for blocks not recommended for C/C++ production code deployment

• Check for unsupported block names

• Check configuration parameters for MISRA C:2012

• Check for equality and inequality operations on floating-point values

• Check for bitwise operations on signed integers

• Check for recursive function calls

• Check for switch case expressions without a default case

• Check for missing error ports for AUTOSAR receiver interfaces

• Check for missing const qualifiers in model functions

• Check integer word length

• Check bus object names that are used as bus element names

Related Topics

• Run Model Advisor Checks and Review Results