主要内容

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

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

mathworks.hism.hisl_0075

自 R2022a 起

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0075:库链接的使用

说明

此检查会识别模型中已禁用和已参数化的库链接。

检查参数

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

参数描述

跟随链接

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

on(默认)| off

查看封装内部

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

全部(默认)| | 图形 | 功能性

  • 全部 - 检查分析是否包含所有掩码模型元素。

  • - 检查分析排除了已屏蔽的模型元素。

  • 图形 - 检查分析仅包括图形掩码模型元素。

  • 功能性 - 检查分析仅包括功能掩码模型元素。

建议的行动和结果

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

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

右键点击违规模块,然后从库链接菜单中选择相应的选项即可解决此问题:

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

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

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

请按照以下步骤解决链接问题:

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

  2. 库链接菜单中,点击还原链接

功能和限制

  • 可以在库模型上运行

  • 允许排除模块和图

  • 分析活动和非活动变体的选择

  • 无需模型编译

  • 支持编辑时检查

版本历史记录

在 R2022a 中推出

全部展开