主要内容

检查信号线连接

检查 IDmathworks.jmaab_v6.db_0032

规范:db_0032:信号线连接

描述

检查相交且重叠的 Simulink® 信号是否符合建议的规范。

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

检查参数化

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

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

  • NA-MAAB - a、b、c

  • JMAAB - a、b、c

注意

子检查 db_0032_a 和 db_0032_b 默认选中。

结果和建议的操作

规范子 ID条件建议的操作
db_0032_a:检查信号线是否分成多个子线信号线在单一分支点被分割为两条以上的信号线。重新布置信号线,避免在单一分支点处将信号线分割为两条以上。
db_0032_b:检查信号是否绘制为斜线信号线在图中绘制为斜线。将信号绘制为垂直或水平线。

功能和限制

  • 子检查 db_0032_c 无法在模型上执行。

  • 会考虑信号的跨线设定。

  • 无法分析模块的标签重叠。

  • 会考虑 Simulink 信号在单一分支点处被分割为两个以上信号的情形。

  • 对库模型运行。

  • 允许排除子系统。

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

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