检查信号名称传播
检查 ID:mathworks.jmaab.jc_0009
规范:jc_0009:信号名称传播
描述
检查信号线上传播的标签。
如果信号来自以下位置,则应从信源传播信号标签,而非显式(手动)输入信号标签:
嵌套子系统中的 Inport 模块。但是,如果嵌套子系统是库子系统,则可以显式标记来自 Inport 模块的信号,以满足库模块重用要求。
执行非转换运算的基本模块。
子系统或 Stateflow® Chart 模块。但是,如果连接来自库模块实例的输出,则可以显式标记信号,以满足库模块重用要求。
此检查需要 Simulink® Check™ 许可证。
检查参数化
此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - 无建议
JMAAB - a、b
结果和建议的操作
规范子 ID | 条件 | 建议的操作 |
---|---|---|
jc_0009_a:检查子系统的信号名称传播 | 模型包括未传播信号标签的子系统。 | 为信号添加标签并启用信号传播,方法是为信号选择显示传播的信号参数。 |
模型中的一个或多个子系统显示空传播信号。 | 通过取消选择显示传播的信号参数来禁用信号传播,或者根据需要添加一个新标签。 | |
模型中的一个或多个子系统未显示传播信号,但具有信号名称。 | 移除标签并启用信号传播,通过为信号选择显示传播的信号参数。 | |
jc_0009_b:检查连接模块的信号名称传播 | 即使信源模块有标签,模型中的一个或多个连接模块也不会传播信号。 | 通过为信号选择显示传播的信号参数来启用信号传播。 |
模型中的一个或多个连接模块显示空传播信号。 | 通过取消选择显示传播的信号参数来禁用信号传播,或者根据需要添加一个新标签。 | |
模型中的一个或多个连接模块不显示传播信号,但具有信号名称。 | 移除标签并启用信号传播,通过为信号选择显示传播的信号参数。 |
功能和限制
无法在库模型上运行。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。
允许排除。