检查状态名称的唯一性
检查身份证:mathworks.jmaab.jc_0730
指导方针在Stateflow jc_0730:独特的国家的名字®块
描述
Stateflow状态图表名称必须是惟一的,除了原子子图表。原子子图表被视为不同的容器,这样他们就可以共享状态名称与其他国家之外的子图表。
Stateflow州包括以下。
原子子图表
状态
金宝app®状态
这张支票需要金宝app模型检查™和Stateflow许可证。
检查参数化
这张支票不包括sub-checks因为马伯建模指南提供了只有一个接头ID。
供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:
NA-MAAB——一个
JMAAB——一个
结果和建议措施
条件 | 建议的行动 |
---|---|
Stateflow图,两个或两个以上Stateflow州具有相同的名称。 | 重命名Stateflow国家这没有相同名称Stateflow图表。 |
功能和限制
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为
在
。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
图形化的
。允许排除图表。