检查条件模块和迭代模块的位置

检查 ID：mathworks.jmaab.db_0146

规范：db_0146：条件子系统中的模块布局

描述

将定义子系统类型（条件子系统或迭代子系统）的模块置于子系统图的顶部。

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

检查参数化

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。

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

  • NA-MAAB - a、b

  • JMAAB - a、b

默认模块位置可通过模型顾问配置编辑器中的参数模块位置进行配置。

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

  2. 在模块位置字段中输入要检查的模块位置。

    默认情况下，此参数设置为顶部。

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

结果和建议的操作

规范子 ID条件建议的操作
db_0146_a：条件子系统中的模块布局Trigger、Enable 和 Action Port 模块没有放置在子系统图的顶部。 将 Trigger、Enable 和 Action Port 模块移到子系统图的顶部。
db_0146_b：迭代子系统中的模块布局For Each、For Iterator 和 While Iterator 模块没有放置在子系统图的相同位置。将 For Each、For Iterator 和 While Iterator 模块移动到子系统图的相同位置。

功能和限制

  • 当 For Each Subsystem、For Iterator Subsystem 和 While Iterator Subsystem 模块中包含 Inports 或 Outport 模块时，子 ID b 不会标记它们。

  • 对库模型运行。

  • 允许排除模块和图。

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

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

另请参阅