检查禁用的和参数化的库链接

R2026b

mathworks.hism.hisl_0075

自 R2022a 起

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0075：库链接的使用

描述

此检查用于标识模型中禁用的和参数化的库链接。

Elements under review:

  • 禁用的库链接

  • 参数化的库链接

检查参数

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

参数描述

跟随链接

验证并追踪 Simulink 模型内的链接。

on（默认）| off

查看封装内部

指定是否在分析中包含封装模型元素。

all（默认）| none | graphical | functional

  • all - 检查分析包含所有封装模型元素。

  • none - 检查分析排除封装模型元素。

  • graphical - 检查分析仅包含图形封装模型元素。

  • functional - 检查分析仅包含功能封装模型元素。

建议的操作和结果

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

建模条件建议的操作
模型中的一个或多个模块是参数化的库链接。

通过右键点击违规的模块并从库链接菜单中选择适当的选项来解决该问题：

  • 点击推送链接以将更改传播到库。

  • 点击选择还原链接放弃更改。

模型中的一个或多个模块是禁用的库链接。

使用以下步骤解决该链接问题：

  1. 在 Simulink 图中右键点击违规的模块。

  2. 从库链接菜单中，点击还原链接。

功能和限制

  • 可以在库模型上运行

  • 允许排除模块和图

  • 不分析非活动变体选择项内的模型元素

  • 不需要进行模型编译

  • 支持编辑时检查

版本历史记录

在 R2022a 中推出

全部展开

另请参阅

主题