| 检查 Lookup Table 模块的使用 (Simulink Check) | mathworks.hism.hisl_0033 | hisl_0033: Usage of Lookup Table blocks |
| 检查不一致的向量索引方法 (Simulink Check) | mathworks.hism.hisl_0021 | hisl_0021: Consistent vector indexing method |
| 检查变体模块的使用 (Simulink Check) | mathworks.hism.hisl_0023 | hisl_0023: Verification of variant blocks |
| 检查根端口是否存在缺失属性 (Simulink Check) | mathworks.hism.hisl_0024 | hisl_0024: Inport interface definition |
| 检查 Relational Operator 模块的使用 (Simulink Check) | mathworks.hism.hisl_0017 | hisl_0017: Usage of blocks that compute relational operators (2) |
| 检查浮点信号的关系比较 (Simulink Check) | mathworks.hism.hisl_0016 | hisl_0016: Usage of blocks that compute relational operators |
| 检查 Logical Operator 模块的使用 (Simulink Check) | mathworks.hism.hisl_0018 | hisl_0018: Usage of Logical Operator block |
| 检查 While Iterator 模块的使用 (Simulink Check) | mathworks.hism.hisl_0006 | hisl_0006: Usage of While Iterator blocks |
| 检查 For Iterator 和 While Iterator 子系统的使用 (Simulink Check) | mathworks.hism.hisl_0007 | hisl_0007: Usage of For Iterator or While Iterator subsystems |
| 检查 For Iterator 模块的使用 (Simulink Check) | mathworks.hism.hisl_0008 | hisl_0008: Usage of For Iterator Blocks |
| 检查 If blocks 和 If Action Subsystem 模块的使用 (Simulink Check) | mathworks.hism.hisl_0010 | hisl_0010: Usage of If blocks and If Action Subsystem blocks |
| 检查 Switch Case 块和 Switch Case Action Subsystem 块的使用情况 (Simulink Check) | mathworks.hism.hisl_0011 | hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks |
| 检查针对逻辑信号的安全相关优化设置 (Simulink Check) | mathworks.hism.hisl_0045 | hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double) |
| 检查与应用程序生命周期相关的安全优化设置 (Simulink Check) | mathworks.hism.hisl_0048 | hisl_0048: Configuration Parameters > Math and Data Types > Application lifespan (days) |
| 检查与数据初始化相关的安全优化设置 (Simulink Check) | mathworks.hism.hisl_0052 | hisl_0052: Configuration Parameters > Code Generation > Optimization > Data initialization |
| 检查数据类型转换的安全相关优化设置 (Simulink Check) | 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 |
| 检查整数除法运算异常的安全优化设置 (Simulink Check) | mathworks.hism.hisl_0054 | hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against integer division arithmetic exceptions |
| 检查与安全相关的代码生成设置以查看注释 (Simulink Check) | mathworks.hism.hisl_0038 | hisl_0038: Configuration Parameters > Code Generation > Comments |
| 检查与安全相关的代码生成接口设置 (Simulink Check) | mathworks.hism.hisl_0039 | hisl_0039: Configuration Parameters > Code Generation > Interface |
| 检查与代码风格相关的安全代码生成设置。 (Simulink Check) | mathworks.hism.hisl_0047 | hisl_0047: Configuration Parameters > Code Generation > Code Style |
| 检查与安全相关的代码生成标识符设置 (Simulink Check) | mathworks.hism.hisl_0049 | hisl_0049: Configuration Parameters > Code Generation > Identifiers |
| 检查 Abs 模块的使用 (Simulink Check) | mathworks.hism.hisl_0001 | hisl_0001: Usage of Abs block |
| 检查余数和倒数运算的使用 (Simulink Check) | mathworks.sldv.hism.hisl_0002 | hisl_0002: Usage of remainder and reciprocal operations |
| 检查平方根运算的使用 (Simulink Check) | mathworks.hism.hisl_0003 | hisl_0003: Usage of square root operations |
| 检查 log 和 log10 运算的使用 (Simulink Check) | mathworks.sldv.hism.hisl_0004 | hisl_0004: Usage of natural logarithm and base 10 logarithm operations |
| 检查 Assignment 模块的使用 (Simulink Check) | mathworks.hism.hisl_0029 | hisl_0029: Usage of Assignment blocks |
| 检查 Signal Routing 模块的使用 (Simulink Check) | mathworks.hism.hisl_0034 | hisl_0034: Usage of Signal Routing blocks |
| 检查缺少范围定义的根入端口 (Simulink Check) | mathworks.hism.hisl_0025 | hisl_0025: Design min/max specification of input interfaces |
| 检查根输出端口是否存在缺少范围定义的端口 (Simulink Check) | mathworks.hism.hisl_0026 | hisl_0026: Design min/max specification of output interfaces |
| 检查 Stateflow 图的状态机类型 (Simulink Check) | mathworks.hism.hisf_0001 | hisf_0001: State Machine Type |
| 检查 Stateflow 图，查找跨越平行状态边界的过渡路径 (Simulink Check) | mathworks.hism.hisf_0013 | hisf_0013: Usage of transition paths (crossing parallel state boundaries) |
| 检查 Stateflow 调试选项 (Simulink Check) | mathworks.hism.hisf_0011 | hisf_0011: Stateflow debugging settings |
| 检查 Stateflow 图中是否存在唯一定义的数据对象 (Simulink Check) | mathworks.hism.hisl_0061 | hisl_0061: Unique identifiers for clarity |
| 检查 Stateflow 图，确保数据类型正确。 (Simulink Check) | mathworks.hism.hisf_0015 | hisf_0015: Strong data typing (casting variables and parameters in expressions) |
| 检查 Stateflow 图中的赋值运算 (Simulink Check) | mathworks.hism.hisf_0065 | hisf_0065: Type cast operations in Stateflow to improve code compliance |
| 查看 Stateflow 图以了解一元运算符。 (Simulink Check) | mathworks.hism.hisf_0211 | hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance |
| 检查 MATLAB 函数接口是否具有继承属性 (Simulink Check) | mathworks.hism.himl_0002 | himl_0002: Strong data typing at MATLAB function boundaries |
| 检查 MATLAB 函数度量 (Simulink Check) | mathworks.hism.himl_0003 | himl_0003: Complexity of user-defined MATLAB Functions |
| 检查 MATLAB 代码分析器消息 (Simulink Check) | mathworks.hism.himl_0004 | himl_0004: MATLAB Code Analyzer recommendations for code generation |
| 检查安全相关的模型应用设置 (Simulink Check) | mathworks.hism.hisl_0037 | hisl_0037: Configuration Parameters > Model Referencing |
| 检查针对求解器的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0043 | hisl_0043: Configuration Parameters > Diagnostics > Solver |
| 检查与仿真时间相关的安全求解器设置 (Simulink Check) | mathworks.hism.hisl_0040 | hisl_0040: Configuration Parameters > Solver > Simulation time |
| 检查与安全相关的求解器设置，了解求解器选项 (Simulink Check) | mathworks.hism.hisl_0041 | hisl_0041: Configuration Parameters > Solver > Solver options |
| 检查与任务和采样时间相关的求解器安全设置 (Simulink Check) | mathworks.hism.hisl_0042 | hisl_0042: Configuration Parameters > Solver > Tasking and sample time options |
| 检查针对采样时间的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0044 | hisl_0044: Configuration Parameters > Diagnostics > Sample Time |
| 检查与安全相关的诊断参数设置 (Simulink Check) | mathworks.hism.hisl_0302 | hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters |
| 检查用于调试数据的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0305 | hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging |
| 检查数据存储内存的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0013 | hisl_0013: Usage of data store memory |
| 检查与安全相关的诊断设置，以进行类型转换 (Simulink Check) | mathworks.hism.hisl_0309 | hisl_0309: Configuration Parameters > Diagnostics > Type Conversion |
| 检查与信号连接相关的安全诊断设置 (Simulink Check) | mathworks.hism.hisl_0306 | hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals |
| 检查与总线连接相关的安全诊断设置 (Simulink Check) | mathworks.hism.hisl_0307 | hisl_0307: Configuration Parameters > Diagnostics > Connectivity > Buses |
| 检查与函数调用连接相关的安全诊断设置 (Simulink Check) | mathworks.hism.hisl_0308 | hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls |
| 检查安全相关的诊断设置是否兼容。 (Simulink Check) | mathworks.hism.hisl_0301 | hisl_0301: Configuration Parameters > Diagnostics > Compatibility |
| 检查模型初始化相关的安全诊断设置 (Simulink Check) | mathworks.hism.hisl_0304 | hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization |
| 检查与模型相关的安全诊断设置 (Simulink Check) | mathworks.hism.hisl_0310 | hisl_0310: Configuration Parameters > Diagnostics > Model Referencing |
| 检查与安全相关的诊断设置以保存 (Simulink Check) | mathworks.hism.hisl_0036 | hisl_0036: Configuration Parameters > Diagnostics > Saving |
| 检查 Merge 块的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0303 | hisl_0303: Configuration Parameters > Diagnostics > Data Validity > Merge blocks |
| 检查 Stateflow 的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0311 | hisl_0311: Configuration Parameters > Diagnostics > Stateflow |
| 检查信号数据的安全相关诊断设置 (Simulink Check) | mathworks.hism.hisl_0314 | hisl_0314: Configuration Parameters > Diagnostics > Data Validity > Signals |
| 检查模型对象名称 (Simulink Check) | mathworks.hism.hisl_0032 | hisl_0032: Model element names |
| 检查模型元素中是否存在与需求不关联的部分。 (Simulink Check) | mathworks.hism.hisl_0070 | hisl_0070: Placement of requirement links in a model |
| 检查过渡路径是否使用不当 (Simulink Check) | mathworks.hism.hisf_0014 | hisf_0014: Usage of transition paths (passing through states) |
| 检查位运算块的使用情况 (Simulink Check) | mathworks.hism.hisl_0019 | hisl_0019: Usage of bitwise operations |
| 检查带有索引信号的块的数据类型 (Simulink Check) | mathworks.hism.hisl_0022 | hisl_0022: Data type selection for index signals |
| 检查模型文件名 (Simulink Check) | mathworks.hism.hisl_0031 | hisl_0031: Model file names |
| 检查 MATLAB Function 模块中的 if/elseif/else 构型 (Simulink Check) | mathworks.hism.himl_0006 | himl_0006: MATLAB code if / elseif / else patterns |
| 检查 MATLAB Function 模块中的 switch 语句 (Simulink Check) | mathworks.hism.himl_0007 | himl_0007: MATLAB code switch / case / otherwise patterns |
| 检查图形函数中的全局变量 (Simulink Check) | mathworks.hism.hisl_0062 | hisl_0062: Global variables in graphical functions |
| 检查用户自定义对象名称的长度 (Simulink Check) | mathworks.hism.hisl_0063 | hisl_0063: Length of user-defined object names to improve MISRA C compliance |
| 检查 Merge 模块的使用 (Simulink Check) | mathworks.hism.hisl_0015 | hisl_0015: Usage of Merge blocks |
| 检查标准化 MATLAB Function 头的使用 (Simulink Check) | mathworks.hism.himl_0001 | himl_0001: Usage of standardized MATLAB function headers |
| 检查 MATLAB Function 模块中关系运算符的使用 (Simulink Check) | mathworks.hism.himl_0008 | himl_0008: MATLAB code relational operator data types |
| 检查 MATLAB Function 模块中逻辑运算符和函数的使用 (Simulink Check) | mathworks.hism.himl_0010 | himl_0010: MATLAB code with logical operators and functions |
| 检查条件表达式的类型和大小 (Simulink Check) | mathworks.hism.himl_0011 | himl_0011: Data type and size of condition expressions |
| 检查 Stateflow 图中的端口命名 (Simulink Check) | mathworks.hism.hisf_0016 | hisf_0016: Stateflow port names |
| 检查 Stateflow 数据对象的作用域 (Simulink Check) | mathworks.hism.hisf_0017 | hisf_0017: Stateflow data object scoping |
| 检查 Gain 模块的使用 (Simulink Check) | mathworks.hism.hisl_0066 | hisl_0066: Usage of Gain blocks |
| 检查除以零计算 (Simulink Check) | mathworks.hism.hisl_0067 | hisl_0067: Protect against divide-by-zero calculations |
| 检查循环控制变量的数据类型 (Simulink Check) | mathworks.hism.hisl_0102 | hisl_0102: Data type of loop control variables to improve MISRA C compliance |
| 检查 MISRA C:2023 的配置参数 (Simulink Check) | mathworks.misra.CodeGenSettings | hisl_0060: Configuration parameters that improve MISRA C compliance |
检查是否存在不建议用于 C/C++ 生产代码部署的模块 (Simulink Check) 检查 MISRA C:2023 中不推荐使用的块 (Simulink Check) | mathworks.hism.hisl_0020
mathworks.misra.BlkSupport
| hisl_0020: Blocks not recommended for MISRA C compliance |
检查安全相关的优化设置是否符合指定的最小值和最大值。 (Simulink Check) | mathworks.hism.hisl_0056 | hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values |
| 检查 Reciprocal Sqrt 模块的使用 (Simulink Check) | mathworks.hism.hisl_0028 | hisl_0028: Usage of Reciprocal Square Root blocks |
| 检查硬件实现的安全相关设置 (Simulink Check) | mathworks.hism.hisl_0071 | hisl_0071: Configuration Parameters > Hardware Implementation >Inconsistent hardware implementation settings |
| 检查递归的使用 (Simulink Check) | mathworks.hism.hisf_0004 | hisf_0004: Protect against recursive function calls to improve code compliance |
| 检查代码生成不支持的 MATLAB 函数 (Simulink Check) | mathworks.hism.himl_0012 | himl_0012: Usage of MATLAB functions for code generation |
| 生成代码复杂度的度量 (Simulink Check) | mathworks.hism.himl_0013 | himl_0013: Limitation of built-in MATLAB Function complexity |
| 对于引用的模型，忽略参数可调性检查 (Simulink Check) | mathworks.hism.hisl_0072 | hisl_0072: Usage of tunable parameters for referenced models |
| 检查位移操作的使用情况 (Simulink Check) | mathworks.hism.hisl_0073 | hisl_0073: Usage of bit-shift operations |
| 检查与安全相关的诊断设置是否存在变体 (Simulink Check) | mathworks.hism.hisl_0074 | hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants |
| 检查已禁用和参数化的库链接 (Simulink Check) | mathworks.hism.hisl_0075 | hisl_0075: Usage of library links |
| 检查死逻辑 (Simulink Check) | mathworks.hism.hisl_0101 | hisl_0101: Prevent operations that result in dead logic to improve code compliance |
| 检查缺少属性的根出端口 (Simulink Check) | mathworks.hism.hisl_0077 | hisl_0077: Outport interface definition |
| 检查是否使用了相同的建模模式 (Simulink Check) | mathworks.hism.hisl_0078 | hisl_0078: Usage of identical modeling patterns |
| 检查无效的根输入输出端口连接 (Simulink Check) | mathworks.hism.hisl_0079 | hisl_0079: Connections to root input/output ports |
