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 Standards for MISRA C:2012.

Execution of the below checks requires both Embedded Coder^® and 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`

To access the High-Integrity checks supported by the MISRA C:2012 standards, go to By Task > Modeling Standards for MISRA C:2012 > High-Integrity Systems folder.

Note

The High-Integrity modeling guidelines are intended to provide compliance with selected aspects of MISRA C:2012 modeling.

Furthermore, the High-Integrity Systems include sub-folders that contain High-Integrity checks based on their functionality, listed as follows:

By Task > Modeling Standards for MISRA C:2012 > High-Integrity Systems > Configuration

Model Advisor Check	Check ID	High-Integrity System Modeling Guidelines
Check safety-related optimization settings for logic signals	`mathworks.hism.hisl_0045`	hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)
Check safety-related code generation settings for code style	`mathworks.hism.hisl_0047`	hisl_0047: Configuration Parameters > Code Generation > Code Style
Check safety-related optimization settings for data type conversions	`mathworks.hism.hisl_0053`	hisl_0053: Configuration Parameters > Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values
Check safety-related optimization settings for division arithmetic exceptions	`mathworks.hism.hisl_0054`	hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against division arithmetic exceptions
Check safety-related diagnostic settings for model initialization	`mathworks.hism.hisl_0304`	hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
Check safety-related diagnostic settings for Stateflow	`mathworks.hism.hisl_0311`	hisl_0311: Configuration Parameters > Diagnostics > Stateflow
Check safety-related diagnostic settings for signal data	`mathworks.hism.hisl_0314`	hisl_0314: Configuration Parameters > Diagnostics > Data Validity > Signals

By Task > Modeling Standards for MISRA C:2012 > High-Integrity Systems > MATLAB

Model Advisor Check	Check ID	High-Integrity System Modeling Guidelines
Check switch statements in MATLAB Function blocks	`mathworks.hism.himl_0007`	himl_0007: MATLAB code switch / case / otherwise patterns

By Task > Modeling Standards for MISRA C:2012 > High-Integrity Systems > Naming

Model Advisor Check	Check ID	High-Integrity System Modeling Guidelines
Check model object names	`mathworks.hism.hisl_0032`	hisl_0032: Model element names

By Task > Modeling Standards for MISRA C:2012 > High-Integrity Systems > Simulink

Model Advisor Check	Check ID	High-Integrity System Modeling Guidelines
Check usage of Abs blocks	`mathworks.hism.hisl_0001`	hisl_0001: Usage of Abs block
Check usage of square root operations	`mathworks.hism.hisl_0003`	hisl_0003: Usage of square root operations
Check usage of While Iterator blocks	`mathworks.hism.hisl_0006`	hisl_0006: Usage of While Iterator blocks
Check usage of For and While Iterator subsystems	`mathworks.hism.hisl_0007`	hisl_0007: Usage of For Iterator or While Iterator subsystems
Check usage of For Iterator blocks	`mathworks.hism.hisl_0008`	hisl_0008: Usage of For Iterator Blocks
Check usage of If blocks and If Action Subsystem blocks	`mathworks.hism.hisl_0010`	hisl_0010: Usage of If blocks and If Action Subsystem blocks
Check usage of Switch Case blocks and Switch Case Action Subsystem blocks	`mathworks.hism.hisl_0011`	hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
Check usage of Relational Operator blocks	`mathworks.hism.hisl_0017`	hisl_0017: Usage of blocks that compute relational operators (2)
Check usage of Logical Operator blocks	`mathworks.hism.hisl_0018`	hisl_0018: Usage of Logical Operator block
Check usage of bit operation blocks	`mathworks.hism.hisl_0019`	hisl_0019: Usage of bitwise operations
Check for blocks not recommended for C/C++ production code deployment	`mathworks.hism.hisl_0020`	hisl_0020: Blocks not recommended for MISRA C:2012 compliance
Check usage of Reciprocal Sqrt blocks	`mathworks.hism.hisl_0028`	hisl_0028: Usage of Reciprocal Square Root blocks
Check usage of Assignment blocks	`mathworks.hism.hisl_0029`	hisl_0029: Usage of Assignment blocks
Check usage of Signal Routing blocks	`mathworks.hism.hisl_0034`	hisl_0034: Usage of Signal Routing blocks
Check global variables in graphical functions	`mathworks.hism.hisl_0062`	hisl_0062: Global variables in graphical functions
Check for length of user-defined object names	`mathworks.hism.hisl_0063`	hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance
Check for divide-by-zero calculations	`mathworks.hism.hisl_0067`	hisl_0067: Protect against divide-by-zero calculations
Check usage of bit-shift operations	`mathworks.hism.hisl_0073`	hisl_0073: Usage of bit-shift operations
Check safety-related diagnostic settings for variants	`mathworks.hism.hisl_0074`	hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants
Check for dead logic	`mathworks.hism.hisl_0101`	hisl_0101: Prevent operations that result in dead logic to improve code compliance
Check data type of loop control variables	`mathworks.hism.hisl_0102`	hisl_0102: Data type of loop control variables to improve MISRA C:2012 compliance
Check usage of remainder and reciprocal operations	`mathworks.sldv.hism.hisl_0002`	hisl_0002: Usage of remainder and reciprocal operations
Check usage of log and log10 operations	`mathworks.sldv.hism.hisl_0004`	hisl_0004: Usage of natural logarithm and base 10 logarithm operations

By Task > Modeling Standards for MISRA C:2012 > High-Integrity Systems > Stateflow

Model Advisor Check	Check ID	High-Integrity System Modeling Guidelines
Check Stateflow charts for strong data typing	`mathworks.hism.hisf_0015`	hisf_0015: Strong data typing (casting variables and parameters in expressions)
Check assignment operations in Stateflow Charts	`mathworks.hism.hisf_0065`	hisf_0065: Type cast operations in Stateflow to improve code compliance
Check Stateflow charts for unary operators	`mathworks.hism.hisf_0211`	hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance