Model Advisor Checks for MISRA C:2012 Coding Standards

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.

Model Advisor Checks for MISRA C:2012 Coding Standards

These Model Advisor checks improve the likelihood of generating code that complies with MISRA C:2012 coding standards.

Execution of these checks requires either Embedded Coder^® or Simulink^® Check™.

Model Advisor Check	Check ID
Check usage of Assignment blocks	mathworks.misra.AssignmentBlocks
Check for blocks not recommended for MISRA C:2012	mathworks.misra.BlkSupport
Check for blocks not recommended for C/C++ production code deployment	mathworks.codegen.PCGSupport
Check for unsupported block names	mathworks.misra.BlockNames
Check configuration parameters for MISRA C:2012	mathworks.misra.CodeGenSettings
Check for equality and inequality operations on floating-point values	mathworks.misra.CompareFloatEquality
Check for bitwise operations on signed integers	mathworks.misra.CompliantCGIRConstructions
Check for recursive function calls	mathworks.misra.RecursionCompliance
Check for switch case expressions without a default case	mathworks.misra.SwitchDefault
Check for missing error ports for AUTOSAR receiver interfaces	mathworks.misra.AutosarReceiverInterface
Check for missing const qualifiers in model functions	mathworks.misra.ModelFunctionInterface
Check integer word length	mathworks.misra.IntegerWordLengths
Check bus object names that are used as bus element names	mathworks.misra.BusElementNames

Related Topics

• Run Model Advisor Checks and Review Results