主要内容

检查信号名称传播

检查 IDmathworks.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

  • 允许排除。