检查 Stateflow 图中端口的命名

R2026b

mathworks.hism.hisf_0016

依赖关系: Simulink® Check™ 和 Stateflow®

用法: 高完整性系统建模

规范: hisf_0016：Stateflow 端口名称

描述

此检查用于标识 Stateflow 端口和相关联信号之间的名称不匹配情况。

可重用的 Stateflow 模块可以具有不同的端口名称。

Elements under review:

  • Stateflow 图

  • Stateflow 链接图

  • Stateflow 端口

检查参数

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

参数描述
跟随链接

指定是否在分析中包含库链接模块的内容。

on（默认）| off

查看封装内部

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

all（默认）| none | graphical | functional

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

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

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

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

建议的操作和结果

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

建模条件建议的操作
Stateflow 图的输入和输出端口的名称与连接信号的名称不同。 确保 Stateflow 图的输入端口和输出端口的名称与所连接信号的名称相同。

功能和限制

  • 不会分析 Stateflow 真值表或 Stateflow 状态转移表的端口名称

  • 不会标记可重用的 Stateflow 图，因为它们被视为库链接图。

  • 不会标记没有名称的信号

  • 允许排除模块和图

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

  • 不需要进行模型编译

版本历史记录

在 R2020a 中推出

另请参阅

主题