主要内容

检查信号标签的定义

检查 IDmathworks.jmaab.jc_0008

规范:jc_0008:信号名称的定义

描述

检查信号线上的标注。

使用标签来标识:

  • 来自以下模块的信号(下面列出的所有模块均适用后文所述的模块图标例外,但 InportBus SelectorDemuxSelector 除外):

    • Bus Selector 模块(工具强制标注)

    • Chart 模块 (Stateflow®)

    • Constant 模块

    • Data Store Read 模块

    • Demux 模块

    • From 模块

    • Inport 模块

    • Selector 模块

    • Subsystem 模块

    模块图标例外

    如果信号标签在源模块的图标显示中可见,则无需为所连接的信号单独显示标签,除非信号目标规则要求在其他位置显示信号标签。

  • 连接到以下目标模块之一的信号(直接或通过执行非变换操作的基本模块间接连接):

    • Bus Selector 模块(工具强制标注)

    • Chart 模块 (Stateflow)

    • Data Store Write 模块

    • Goto 模块

    • Mux 模块

    • Outport 模块

    • Subsystem 模块

  • 任何感兴趣的信号。

此检查需要 Simulink® Check™ 许可证。

检查参数化

此检查不包括子检查,因为 MAB 建模规范仅提供一个子 ID。

作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:

  • NA-MAAB - 无建议

  • JMAAB - a

要自定义需要检查输出信号标签的模块类型列表和需要检查输入信号标签的模块类型列表,请使用模型顾问配置编辑器

  1. 打开模型配置编辑器并搜索检查 ID db_0140

  2. 输入参数下,从标准下拉菜单中选择自定义

  3. 使用要检查输出信号标签的模块类型列表表和要检查输入信号标签的模块类型列表表删除或添加模块的参数。

  4. 点击应用并保存配置。

结果和建议的操作

条件建议的操作
来自 Bus SelectorChartConstantData Store ReadDemuxFromInportSelector 模块的信号未被标注。标注信号。

如果您在工具条上的叠加信息选项卡中指定了信号传播,则可能会出现警告。

功能和限制

  • 对库模型运行。

  • 可以分析库链接模块的内容。

  • 可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on

  • 可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical

  • 允许排除。

另请参阅