检查结构子系统之间的连接
检查 ID:mathworks.jmaab.jc_0171
规范:jc_0171:使结构子系统之间的连接更清晰
描述
检查使用 Goto 和 From 模块时的信号流。
此检查标识相互连接的子系统,这些子系统在并非每个方向上都至少有一个信号线的前馈和反馈环中使用 Goto 和 From 模块。
此检查需要 Simulink® Check™ 许可证。
检查参数化
此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - 无建议
JMAAB - a、b
可以通过分别选中可变子系统或条件执行子系统复选框来将此检查配置为在 Variant Subsystems 或 Conditionally Executed Subsystems 模块上运行。默认情况下,这两个复选框处于选中状态。
结果和建议的操作
| 规范子 ID | 条件 | 建议的操作 |
|---|---|---|
| jc_0171_a:检查结构子系统之间的直接连接 | 一个或多个结构子系统没有直接连接。 | 在所列子系统之间至少建立给定方向(子系统 1 到子系统 2)的一个直接连接,但 Memory、Delay、Bus Creator 和 Bus Selector 模块除外。 |
| jc_0171_b:检查结构子系统内未使用的输入 | 一个或多个结构子系统有未使用的输入。 | 删除结构子系统内未使用的输入。减少不必要的连接数量,使连接关系更加清晰。 |
功能和限制
不报告图和MATLAB Function 模块中存在的规范子 ID b(jc_0171_b: 检查结构子系统内未使用的输入)的问题。
此检查允许从另一个子系统内的引用子系统建立的连接。
对库模型运行。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
允许排除模块和图。