检查 Assignment 模块的使用
mathworks.hism.hisl_0029
依赖关系: Simulink® Check™
用法: 高完整性系统建模
说明
使用此检查来识别具有未初始化的数组字段的 Assignment 块。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
跟随链接 | 指定 Simulink 是否分析库链接块的内容。 on（默认）| off |
查看封装内部 | 指定 Simulink 是否分析掩码子系统中的内容。 全部（默认）| 无 | 图形 | 功能性 |
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 模型或子系统包含数组初始化不完整的 Assignment 块（不在 iterator 子系统中），并且模块参数未分配任何输出元素时的动作未设置为错误。 | 将模块参数未分配任何输出元素时的动作设置为错误。 |
| 模型或子系统在迭代器子系统中包含 Assignment 块，并且大小大于迭代限制的输出数组未完全初始化。 | 将模块参数未分配任何输出元素时的动作设置为错误。 |
功能和限制
无法在库模型上运行。
允许排除模块和图
仅分析活动的变体选择
执行模型编译
