Model Advisor Checks for MISRA C:2012 Coding Standards

To check the likelihood that your model or subsystem can generate MISRA C:2012 compliant code, open the Model Advisor and run the checks in By Task > Modeling Guidelines for MISRA C:2012. Also consider using the Model Advisor checks that correspond with the high-integrity modeling guidelines for MISRA C:2012. For information, see MISRA C:2012 Compliance Considerations.

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

Model Advisor Check	Check ID
Check configuration parameters for MISRA C:2012	mathworks.misra.CodeGenSettings
Check for blocks not recommended for C/C++ production code deployment	mathworks.codegen.PCGSupport
Check for blocks not recommended for MISRA C:2012	mathworks.misra.BlkSupport
Check for unsupported block names	mathworks.misra.BlockNames
Check usage of Assignment blocks	mathworks.misra.AssignmentBlocks
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 bitwise operations on signed integers	mathworks.misra.CompliantCGIRConstructions
Check for recursive function calls	mathworks.misra.RecursionCompliance
Check for equality and inequality operations on floating-point values	mathworks.misra.CompareFloatEquality
Check for missing const qualifiers in model functions	mathworks.misra.ModelFunctionInterface
Check integer word lengths	mathworks.misra.IntegerWordLengths
Check bus object names that are used as bus element names	mathworks.misra.BusElementNames
Check for variant blocks that do not have a default choice	mathworks.misra.DefaultChoiceVariantChecks