检查 Stateflow 图中的端口命名
mathworks.hism.hisf_0016
依赖关系: Simulink® Check™ 和 Stateflow®
用法: 高完整性系统建模
说明
使用此检查来识别 Stateflow 端口和关联信号名称之间的不匹配。
可重用的 Stateflow 块可以有不同的端口名称。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
| 跟随链接 | 指定是否将文库链接模块的内容纳入分析。 on（默认）| off |
| 查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无 | 图形 | 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| Stateflow 图的输入和输出端口的名称与连接信号的名称不同。 | 确保 Stateflow 图的输入端口和输出端口的名称与所连接信号的名称相同。 |
功能和限制
不分析 Stateflow 真值表或 Stateflow 状态转换表的端口名称
不会标记可重用的 Stateflow 图，因为它们被视为库链接图。
不会标记没有名称的信号
允许排除模块和图
分析活动和非活动变体的选择
无需模型编译
版本历史记录
在 R2020a 中推出
