主要内容

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

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

mathworks.hism.hisl_0303

依赖关系: Simulink® Check™

用法: 高完整性系统建模

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

说明

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

建议的行动和结果

查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。

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

建模条件建议的操作

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

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

功能和限制

  • 无法在库模型上运行。

  • 不允许排除模块或图。

  • 无需模型编译

版本历史记录

在 R2017b 中推出