本页采用了机器翻译。点击此处可查看英文原文。

针对高完整性系统建模规范的模型顾问检查

您可以使用 Simulink® Check™ 模型顾问来检查您的模型或子系统是否符合高完整性系统模型建模规范。这些建模规范旨在确保符合以下安全标准的选定方面：

  • DO-178C/DO-331

  • IEC 61508

  • IEC 62304

  • ISO 26262

  • EN 50128 / EN 50657 / EN 50716

  • ISO 25119

要检查是否符合高完整性系统建模规范，请从以下模型顾问文件夹运行高完整性检查：

  • 按任务 > DO-178C/DO-331 的建模标准 > 高完整性系统

  • 按任务 > IEC 61508 建模标准 > 高完整性系统

  • 按任务 > IEC 62304 建模标准 > 高完整性系统

  • 按任务 > EN 50128/EN 50657/EN 50716 建模标准 > 高完整性系统

  • 按任务 > ISO 26262 建模标准 > 高完整性系统

  • 按任务 > ISO 25119 建模标准 > 高完整性系统

  • 按任务 > AUTOSAR 建模标准 > 高完整性系统

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

下表总结了高完整性系统建模规范及其对应的检查。对于没有对应模型顾问检查的规范，无法自动检查该规范。

注意

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

模型顾问检查检查 ID高完整性系统建模规范
检查 Lookup Table 模块的使用mathworks.hism.hisl_0033hisl_0033: Usage of Lookup Table blocks
检查不一致的向量索引方法mathworks.hism.hisl_0021hisl_0021: Consistent vector indexing method
检查变体模块的使用mathworks.hism.hisl_0023hisl_0023: Verification of variant blocks
检查根端口是否存在缺失属性mathworks.hism.hisl_0024hisl_0024: Inport interface definition
检查 Relational Operator 模块的使用mathworks.hism.hisl_0017hisl_0017: Usage of blocks that compute relational operators (2)
检查浮点信号的关系比较mathworks.hism.hisl_0016hisl_0016: Usage of blocks that compute relational operators
检查 Logical Operator 模块的使用mathworks.hism.hisl_0018hisl_0018: Usage of Logical Operator block
检查 While Iterator 模块的使用mathworks.hism.hisl_0006hisl_0006: Usage of While Iterator blocks
检查 For Iterator 和 While Iterator 子系统的使用mathworks.hism.hisl_0007hisl_0007: Usage of For Iterator or While Iterator subsystems
检查 For Iterator 模块的使用mathworks.hism.hisl_0008hisl_0008: Usage of For Iterator Blocks
检查 If blocks 和 If Action Subsystem 模块的使用mathworks.hism.hisl_0010hisl_0010: Usage of If blocks and If Action Subsystem blocks
检查 Switch Case 块和 Switch Case Action Subsystem 块的使用情况mathworks.hism.hisl_0011hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
检查针对逻辑信号的安全相关优化设置mathworks.hism.hisl_0045hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)
检查与应用程序生命周期相关的安全优化设置mathworks.hism.hisl_0048hisl_0048: Configuration Parameters > Math and Data Types > Application lifespan (days)
检查与数据初始化相关的安全优化设置mathworks.hism.hisl_0052hisl_0052: Configuration Parameters > Code Generation > Optimization > Data initialization
检查数据类型转换的安全相关优化设置mathworks.hism.hisl_0053hisl_0053: Configuration Parameters > Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values
检查整数除法运算异常的安全优化设置mathworks.hism.hisl_0054hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against integer division arithmetic exceptions
检查与安全相关的代码生成设置以查看注释mathworks.hism.hisl_0038hisl_0038: Configuration Parameters > Code Generation > Comments
检查与安全相关的代码生成接口设置mathworks.hism.hisl_0039hisl_0039: Configuration Parameters > Code Generation > Interface
检查与代码风格相关的安全代码生成设置。mathworks.hism.hisl_0047hisl_0047: Configuration Parameters > Code Generation > Code Style
检查与安全相关的代码生成标识符设置mathworks.hism.hisl_0049hisl_0049: Configuration Parameters > Code Generation > Identifiers
检查 Abs 模块的使用mathworks.hism.hisl_0001hisl_0001: Usage of Abs block
检查余数和倒数运算的使用mathworks.sldv.hism.hisl_0002hisl_0002: Usage of remainder and reciprocal operations
检查平方根运算的使用mathworks.hism.hisl_0003hisl_0003: Usage of square root operations
检查 log 和 log10 运算的使用mathworks.sldv.hism.hisl_0004hisl_0004: Usage of natural logarithm and base 10 logarithm operations
检查 Assignment 模块的使用mathworks.hism.hisl_0029hisl_0029: Usage of Assignment blocks
检查 Signal Routing 模块的使用mathworks.hism.hisl_0034hisl_0034: Usage of Signal Routing blocks
检查缺少范围定义的根入端口mathworks.hism.hisl_0025hisl_0025: Design min/max specification of input interfaces
检查根输出端口是否存在缺少范围定义的端口mathworks.hism.hisl_0026hisl_0026: Design min/max specification of output interfaces
检查 Stateflow 图的状态机类型mathworks.hism.hisf_0001hisf_0001: State Machine Type
检查 Stateflow 图，查找跨越平行状态边界的过渡路径mathworks.hism.hisf_0013hisf_0013: Usage of transition paths (crossing parallel state boundaries)
检查 Stateflow 调试选项mathworks.hism.hisf_0011hisf_0011: Stateflow debugging settings
检查 Stateflow 图中是否存在唯一定义的数据对象mathworks.hism.hisl_0061hisl_0061: Unique identifiers for clarity
检查 Stateflow 图，确保数据类型正确。mathworks.hism.hisf_0015hisf_0015: Strong data typing (casting variables and parameters in expressions)
检查 Stateflow 图中的赋值运算mathworks.hism.hisf_0065hisf_0065: Type cast operations in Stateflow to improve code compliance
查看 Stateflow 图以了解一元运算符。mathworks.hism.hisf_0211hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance
检查 MATLAB 函数接口是否具有继承属性mathworks.hism.himl_0002himl_0002: Strong data typing at MATLAB function boundaries
检查 MATLAB 函数度量mathworks.hism.himl_0003himl_0003: Complexity of user-defined MATLAB Functions
检查 MATLAB 代码分析器消息mathworks.hism.himl_0004himl_0004: MATLAB Code Analyzer recommendations for code generation
检查安全相关的模型应用设置mathworks.hism.hisl_0037hisl_0037: Configuration Parameters > Model Referencing
检查针对求解器的安全相关诊断设置mathworks.hism.hisl_0043hisl_0043: Configuration Parameters > Diagnostics > Solver
检查与仿真时间相关的安全求解器设置mathworks.hism.hisl_0040hisl_0040: Configuration Parameters > Solver > Simulation time
检查与安全相关的求解器设置，了解求解器选项mathworks.hism.hisl_0041hisl_0041: Configuration Parameters > Solver > Solver options
检查与任务和采样时间相关的求解器安全设置mathworks.hism.hisl_0042hisl_0042: Configuration Parameters > Solver > Tasking and sample time options
检查针对采样时间的安全相关诊断设置mathworks.hism.hisl_0044hisl_0044: Configuration Parameters > Diagnostics > Sample Time
检查与安全相关的诊断参数设置mathworks.hism.hisl_0302hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters
检查用于调试数据的安全相关诊断设置mathworks.hism.hisl_0305hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging
检查数据存储内存的安全相关诊断设置mathworks.hism.hisl_0013hisl_0013: Usage of data store memory
检查与安全相关的诊断设置，以进行类型转换mathworks.hism.hisl_0309hisl_0309: Configuration Parameters > Diagnostics > Type Conversion
检查与信号连接相关的安全诊断设置mathworks.hism.hisl_0306hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals
检查与总线连接相关的安全诊断设置mathworks.hism.hisl_0307hisl_0307: Configuration Parameters > Diagnostics > Connectivity > Buses
检查与函数调用连接相关的安全诊断设置mathworks.hism.hisl_0308hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls
检查安全相关的诊断设置是否兼容。mathworks.hism.hisl_0301hisl_0301: Configuration Parameters > Diagnostics > Compatibility
检查模型初始化相关的安全诊断设置mathworks.hism.hisl_0304hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
检查与模型相关的安全诊断设置mathworks.hism.hisl_0310hisl_0310: Configuration Parameters > Diagnostics > Model Referencing
检查与安全相关的诊断设置以保存mathworks.hism.hisl_0036hisl_0036: Configuration Parameters > Diagnostics > Saving
检查 Merge 块的安全相关诊断设置mathworks.hism.hisl_0303hisl_0303: Configuration Parameters > Diagnostics > Data Validity > Merge blocks
检查 Stateflow 的安全相关诊断设置mathworks.hism.hisl_0311hisl_0311: Configuration Parameters > Diagnostics > Stateflow
检查信号数据的安全相关诊断设置mathworks.hism.hisl_0314hisl_0314: Configuration Parameters > Diagnostics > Data Validity > Signals
检查模型对象名称mathworks.hism.hisl_0032hisl_0032: Model element names
检查模型元素中是否存在与需求不关联的部分。mathworks.hism.hisl_0070hisl_0070: Placement of requirement links in a model
检查过渡路径是否使用不当mathworks.hism.hisf_0014hisf_0014: Usage of transition paths (passing through states)
检查位运算块的使用情况mathworks.hism.hisl_0019hisl_0019: Usage of bitwise operations
检查带有索引信号的块的数据类型mathworks.hism.hisl_0022hisl_0022: Data type selection for index signals
检查模型文件名mathworks.hism.hisl_0031hisl_0031: Model file names
检查 MATLAB Function 模块中的 if/elseif/else 构型mathworks.hism.himl_0006himl_0006: MATLAB code if / elseif / else patterns
检查 MATLAB Function 模块中的 switch 语句mathworks.hism.himl_0007himl_0007: MATLAB code switch / case / otherwise patterns
检查图形函数中的全局变量mathworks.hism.hisl_0062hisl_0062: Global variables in graphical functions
检查用户自定义对象名称的长度mathworks.hism.hisl_0063hisl_0063: Length of user-defined object names to improve MISRA C compliance
检查 Merge 模块的使用mathworks.hism.hisl_0015hisl_0015: Usage of Merge blocks
检查标准化 MATLAB Function 头的使用mathworks.hism.himl_0001himl_0001: Usage of standardized MATLAB function headers
检查 MATLAB Function 模块中关系运算符的使用mathworks.hism.himl_0008himl_0008: MATLAB code relational operator data types
检查 MATLAB Function 模块中逻辑运算符和函数的使用mathworks.hism.himl_0010himl_0010: MATLAB code with logical operators and functions
检查条件表达式的类型和大小mathworks.hism.himl_0011himl_0011: Data type and size of condition expressions
检查 Stateflow 图中的端口命名mathworks.hism.hisf_0016hisf_0016: Stateflow port names
检查 Stateflow 数据对象的作用域mathworks.hism.hisf_0017hisf_0017: Stateflow data object scoping
检查 Gain 模块的使用mathworks.hism.hisl_0066hisl_0066: Usage of Gain blocks
检查除以零计算mathworks.hism.hisl_0067hisl_0067: Protect against divide-by-zero calculations
检查循环控制变量的数据类型mathworks.hism.hisl_0102hisl_0102: Data type of loop control variables to improve MISRA C compliance
检查 MISRA C:2023 的配置参数mathworks.misra.CodeGenSettingshisl_0060: Configuration parameters that improve MISRA C compliance

检查是否存在不建议用于 C/C++ 生产代码部署的模块

检查 MISRA C:2023 中不推荐使用的块

mathworks.hism.hisl_0020

mathworks.misra.BlkSupport

hisl_0020: Blocks not recommended for MISRA C compliance

检查安全相关的优化设置是否符合指定的最小值和最大值。

mathworks.hism.hisl_0056hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values
检查 Reciprocal Sqrt 模块的使用mathworks.hism.hisl_0028hisl_0028: Usage of Reciprocal Square Root blocks
检查硬件实现的安全相关设置mathworks.hism.hisl_0071hisl_0071: Configuration Parameters > Hardware Implementation >Inconsistent hardware implementation settings
检查递归的使用mathworks.hism.hisf_0004hisf_0004: Protect against recursive function calls to improve code compliance
检查代码生成不支持的 MATLAB 函数mathworks.hism.himl_0012himl_0012: Usage of MATLAB functions for code generation
生成代码复杂度的度量mathworks.hism.himl_0013himl_0013: Limitation of built-in MATLAB Function complexity
对于引用的模型，忽略参数可调性检查mathworks.hism.hisl_0072hisl_0072: Usage of tunable parameters for referenced models
检查位移操作的使用情况mathworks.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_0075hisl_0075: Usage of library links
检查死逻辑mathworks.hism.hisl_0101hisl_0101: Prevent operations that result in dead logic to improve code compliance
检查缺少属性的根出端口mathworks.hism.hisl_0077hisl_0077: Outport interface definition
检查是否使用了相同的建模模式mathworks.hism.hisl_0078hisl_0078: Usage of identical modeling patterns
检查无效的根输入输出端口连接mathworks.hism.hisl_0079hisl_0079: Connections to root input/output ports

另请参阅