检查模型元素中是否存在与需求不关联的部分。
mathworks.hism.hisl_0070
依赖关系: Simulink® Check™ 和 Requirements Toolbox™
用法: 高完整性系统建模
说明
此检查验证模型元素或模型元素组是否链接到包含可追溯性工程需求的文档。该检查还会验证每个组件是否符合最大唯一需求链接数，以及每个链接的组件是否符合最大子对象数。
组件 - 组件是一组模型元素。
在 Simulink 中，组件是顶层模块、子系统、MATLAB 功能或区域注释。
在 Stateflow® 中，组件可以是图、超级状态、图框、Simulink 函数、图形函数、Simulink 状态、MATLAB 函数或真值表。
在 MATLAB® 中，组件就是一个函数。
在 System Composer™ 中，组件是 Component 模块、Adapter 模块或序列图。
子对象
在 Simulink 中，子对象是除子系统之外的所有没有需求链接的模型元素。
在 Stateflow 中，子对象包括以下几种，无需链接：状态、框、图形函数、嵌入式 MATLAB 函数、真值表、子图和原子子图。例外情况是基于 Simulink 的状态和 Simulink 函数。
在 MATLAB 中，子对象是每个 MATLAB 函数中包含的代码行。
在 System Composer 中，子对象如下（无需链接）：System Composer 组件和 Adapter 模块。
从要检查的顶层模型或子系统运行此检查。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
检查行为 | 是否预期在组件级别或非豁免模型元素级别存在需求链接。
|
每个模型元素的最大需求链接数 | 每个模型元素允许的最大需求链接数。
|
Simulink/System Composer 中每个链接组件的最大子对象数 | Simulink 中每个链接组件允许的最大子对象数量。
|
Stateflow 中每个链接组件的最大子对象数 | Stateflow 中每个链接组件允许的最大子对象数量。
|
每个链接的 MATLAB 函数的最大代码行数 | 每个链接的 MATLAB 函数允许的最大代码行数。
|
跟随链接 | 验证并追踪 Simulink 模型中的链接。 off（默认）| on |
查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无 | 图形 | 功能性
|
免除链接要求的模型元素列表 | 可以免除链接要求的模型元素。使用添加、删除和添加自按钮向列表中添加或删除块。默认情况下，列表包含以下模块：
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 模型元素或模型元素组不链接到需求文档。 | 在模型编辑器中，对于模型中的每个模型元素，右键点击该模型元素，选择需求并指定一个需求。 |
| 模型元素的链接需求超过了设定的阈值。 | 确保模型元素与需求之间的链接数不超过设定的最大阈值。 |
| 模型中与需求关联的组件超过了子对象数量的阈值。 | 确保链接到需求的组件的子对象数量不超过阈值。 |
功能和限制
可以在库模型上运行
允许排除模块和图
不允许排除 Stateflow 元素
仅验证添加到 MATLAB 函数头或整个 MATLAB 函数体中的需求。
验证需求链接是否放置在顶级库链接和模型引用上
检查报告的“建议操作”选项卡中提供了一个链接，用于打开“可追溯性矩阵”。
模型顾问报告中无法突出显示序列图。
分析活动和非活动变体的选择
无需模型编译
版本历史记录
在 R2021a 中推出
