检查传播的信号标签
检查 ID：mathworks.maab.na_0009
规范：na_0009：信号标签的输入与传播
描述
检查信号线上传播的标签。
如果信号来自以下位置，则应从信源传播信号标签，而非显式（手动）输入信号标签：
嵌套子系统中的 Inport 模块。但是，如果嵌套子系统是库子系统，则可以显式标记来自 Inport 模块的信号，以满足库模块重用要求。
执行非转换运算的基本模块（这些模块的输出数据类型与输入相同）。
子系统或 Stateflow® Chart 模块。但是，如果连接来自库模块实例的输出，则可以显式标记信号，以满足库模块重用要求。
此检查需要 Simulink® Check™ 许可证。
检查参数化
此模型顾问检查不适用于 JMAAB 建模规范。
此检查不包括子检查
作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：
NA-MAAB - a
JMAAB - 不支持
结果和建议的操作
| 条件 | 建议的操作 |
|---|---|
| 模型包括显式输入但应传播的信号标签。 | 使用开放尖括号 (<) 字符来标记应传播的信号标签，并删除显式输入的标签。 |
功能和限制
不应在用于 AUTOSAR 的模型上运行此检查。
无法在库模型上运行。
可以分析没有工作区和对话框的封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。
允许排除模块或图。
