检查 Stateflow 端口和相关联信号的名称
检查 ID:mathworks.maab.db_0123
规范:db_0123:Stateflow 端口名称
描述
检查 Stateflow® 端口的名称和相关联信号的名称之间是否存在不匹配情况。
Stateflow 输入和输出的名称应与对应信号的名称相同。
Simulink® Check™ 附带。
此检查需要 Stateflow 许可证。
检查参数化
此模型顾问检查不适用于 JMAAB 建模规范。
此检查不包括子检查。
对于引用,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB — a
JMAAB — 不支持
结果和建议的操作
条件 | 建议采取的操作 |
---|---|
信号的名称与对应 Stateflow 端口的名称不同。 | 更改信号的名称或 Stateflow 端口的名称。 |
功能和限制
不标记库中可重用的 Stateflow 图的名称不匹配情况。
无法对库模型运行。
不分析库链接模块的内容。
分析所有封装子系统中的内容。
允许排除模块和图。排除不适用于库链接图。