针对 MISRA C 编码标准的模型顾问检查

R2026b

要检查您的模型或子系统可以生成符合 MISRA C:2012 和 MISRA C:2023 的代码的可能性，请打开模型顾问，并运行按任务 > MISRA C:2023 建模标准中的检查。

注意

符合 MISRA C:2012 的高完整性系统建模规范及其相关联的检查也符合 MISRA C:2023。从 R2026a 开始，模型顾问将包含仅引用 MISRA C:2023 的文件夹和检查，这些文件夹和检查也保持符合 MISRA C:2012。

执行以下检查需要使用 Embedded Coder® 和 Simulink® Check™。

模型顾问检查检查 ID
Check configuration parameters for MISRA C:2023mathworks.misra.CodeGenSettings
Check for blocks not recommended for C/C++ production code deploymentmathworks.codegen.PCGSupport
检查 MISRA C:2023 合规性要求不推荐使用的模块mathworks.misra.BlkSupport
检查不支持的模块名称mathworks.misra.BlockNames
检查 Assignment 模块的使用mathworks.misra.AssignmentBlocks
Check for switch case expressions without a default casemathworks.misra.SwitchDefault
Check for missing error ports for AUTOSAR receiver interfacesmathworks.misra.AutosarReceiverInterface
检查有符号整数的按位运算mathworks.misra.CompliantCGIRConstructions
检查递归函数调用mathworks.misra.RecursionCompliance
检查浮点值的相等和不相等运算mathworks.misra.CompareFloatEquality
检查模型函数中是否缺失常量限定符mathworks.misra.ModelFunctionInterface
检查整数字长mathworks.misra.IntegerWordLengths

检查用作总线元素名称的总线对象名称

mathworks.misra.BusElementNames
检查没有默认选择项的变体模块mathworks.misra.DefaultChoiceVariantChecks
Check MISRA C2012 compliance on Generated Codemathworks.misra.checkPolyspaceMISRA2012Compliance
Check MISRA C2023 compliance on Generated Codemathworks.misra.checkPolyspaceMISRA2023Compliance

要访问 MISRA C:2012 和 MISRA C:2023 标准支持的高完整性检查，请转到按任务 > MISRA C:2023 建模标准 > 高完整性系统文件夹。

注意

高完整性建模规范旨在确保符合 MISRA C:2012 和 MISRA C:2023 建模的选定方面。

此外，高完整性系统还包括含有基于其功能的高完整性检查的子文件夹，列举如下：

按任务 > MISRA C:2023 建模标准 > 高完整性系统 > 配置

模型顾问检查检查 ID高完整性系统建模规范
Check safety-related optimization settings for logic signalsmathworks.hism.hisl_0045hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)
Check safety-related code generation settings for code stylemathworks.hism.hisl_0047hisl_0047: Configuration Parameters > Code Generation > Code Style
Check safety-related optimization settings for data type conversionsmathworks.hism.hisl_0053hisl_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 integer division arithmetic exceptionsmathworks.hism.hisl_0054hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against integer division arithmetic exceptions
Check safety-related diagnostic settings for model initializationmathworks.hism.hisl_0304hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
Check safety-related diagnostic settings for Stateflowmathworks.hism.hisl_0311hisl_0311: Configuration Parameters > Diagnostics > Stateflow
Check safety-related diagnostic settings for signal datamathworks.hism.hisl_0314hisl_0314: Configuration Parameters > Diagnostics > Data Validity > Signals

按任务 > MISRA C:2023 建模标准 > 高完整性系统 > MATLAB

模型顾问检查检查 ID高完整性系统建模规范
Check switch statements in MATLAB Function blocksmathworks.hism.himl_0007himl_0007: MATLAB code switch / case / otherwise patterns

按任务 > MISRA C:2023 建模标准 > 高完整性系统 > 命名

模型顾问检查检查 ID高完整性系统建模规范
Check model object namesmathworks.hism.hisl_0032hisl_0032: Model element names

按任务 > MISRA C:2023 建模标准 > 高完整性系统 > Simulink

模型顾问检查检查 ID高完整性系统建模规范
Check usage of Abs blocksmathworks.hism.hisl_0001hisl_0001: Usage of Abs block
检查平方根运算的使用mathworks.hism.hisl_0003hisl_0003: Usage of square root operations
检查 While Iterator 模块的使用mathworks.hism.hisl_0006hisl_0006: Usage of While Iterator blocks
Check usage of For and While Iterator subsystemsmathworks.hism.hisl_0007hisl_0007: Usage of For Iterator or While Iterator subsystems
Check usage of For Iterator blocksmathworks.hism.hisl_0008hisl_0008: Usage of For Iterator blocks
检查 If 模块和 If Action Subsystem 模块的使用mathworks.hism.hisl_0010hisl_0010: Usage of If blocks and If Action Subsystem blocks
Check usage of Switch Case blocks and Switch Case Action Subsystem blocksmathworks.hism.hisl_0011hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
Check usage of Relational Operator blocksmathworks.hism.hisl_0017hisl_0017: Usage of blocks that compute relational operators (2)
Check usage of Logical Operator blocksmathworks.hism.hisl_0018hisl_0018: Usage of Logical Operator block
Check usage of bit operation blocksmathworks.hism.hisl_0019hisl_0019: Usage of bitwise operations
Check for blocks not recommended for C/C++ production code deploymentmathworks.hism.hisl_0020hisl_0020: Blocks not recommended for MISRA C compliance
检查 Reciprocal Sqrt 模块的使用mathworks.hism.hisl_0028hisl_0028: Usage of Reciprocal Square Root blocks
Check usage of Assignment blocksmathworks.hism.hisl_0029hisl_0029: Usage of Assignment blocks
Check usage of Signal Routing blocksmathworks.hism.hisl_0034hisl_0034: Usage of Signal Routing blocks
Check global variables in graphical functionsmathworks.hism.hisl_0062hisl_0062: Global variables in graphical functions
Check for length of user-defined object namesmathworks.hism.hisl_0063hisl_0063: Length of user-defined object names to improve MISRA C compliance
检查除以零计算mathworks.hism.hisl_0067hisl_0067: Protect against divide-by-zero calculations
Check usage of bit-shift operationsmathworks.hism.hisl_0073hisl_0073: Usage of bit-shift operations
检查针对变体的安全相关诊断设置mathworks.hism.hisl_0074hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants
检查死逻辑mathworks.hism.hisl_0101hisl_0101: Prevent operations that result in dead logic to improve code compliance
Check data type of loop control variablesmathworks.hism.hisl_0102hisl_0102: Data type of loop control variables to improve MISRA C compliance
Check usage of remainder and reciprocal operationsmathworks.sldv.hism.hisl_0002hisl_0002: Usage of remainder and reciprocal operations
Check usage of log and log10 operationsmathworks.sldv.hism.hisl_0004hisl_0004: Usage of natural logarithm and base 10 logarithm operations

按任务 > MISRA C:2023 建模标准 > 高完整性系统 > Stateflow

模型顾问检查检查 ID高完整性系统建模规范
检查 Stateflow 图是否使用了强数据定型mathworks.hism.hisf_0015hisf_0015: Strong data typing (casting variables and parameters in expressions)
Check assignment operations in Stateflow Chartsmathworks.hism.hisf_0065hisf_0065: Type cast operations in Stateflow to improve code compliance
Check Stateflow charts for unary operatorsmathworks.hism.hisf_0211hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance