主要内容

检查针对 Merge 模块的安全相关诊断设置

R2026b

mathworks.hism.hisl_0303

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0303:配置参数 > 诊断 > 数据有效性 > Merge 模块

描述

此检查用于验证在为安全相关应用生成代码时模型配置是否使用了适用于 Merge 模块的最优参数设置。

Elements under review:

  • 模型配置参数(Merge 模块设置)

建议的操作和结果

查看该检查所标记的违规以及用于修复问题的建议操作。应用更改后,请保存模型并重新运行检查分析。

您可以使用修复按钮让模型顾问修复已标记的违规。为进行此项检查,模型顾问会配置适用于 Merge 模块且可能影响安全性的模型诊断设置。

建模条件建议的操作

当具有多个驱动模块的 Merge 模块在同一时间步执行时,模型不报告错误。

将模型配置参数检测在同一时间步执行的多个驱动模块设置为 error。

功能和限制

  • 无法在库模型上运行。

  • 不允许排除模块或图。

  • 不需要进行模型编译

版本历史记录

在 R2017b 中推出