检查 Merge 模块的使用

mathworks.hism.hisl_0015

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0015: Usage of Merge blocks

说明

使用此检查来识别未直接连接到条件执行子系统且允许端口宽度不等参数集为 on 的 Merge 块。

使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。

参数	描述
跟随链接	指定是否将文库链接模块的内容纳入分析。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无 \| 图形 \| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

参数

描述

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

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

建模条件	建议的操作
Merge 模块不直接连接到条件执行子系统。	修改模型，使 Merge 块直接连接到条件执行的子系统。
Merge 模块参数允许端口宽度不等设置为 `on`。	将 Merge 模块参数允许端口宽度不等设置为 `off`。
在条件执行子系统中，多个子系统在单个时间步内执行。	指定条件执行子系统的执行方式，使得在一个时间步长内只有一个子系统执行。
模型中任何条件执行的子系统的 Outport 模块参数禁用时的输出均未设置为 `held`。	将每个正在合并的条件执行子系统的 Outport 模块参数禁用时的输出设置为 `held`。