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`