主要内容

检查信号线连接

检查 IDmathworks.jmaab.db_0032

规范:db_0032:信号线连接

描述

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

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

检查参数化

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

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

  • NA-MAAB - a1/a2、b、c、d、e

  • JMAAB - a1/a2、b、c、d、e

注意

子检查 db_0032_a1、db_0032_b、db_0032_c、db_0032_d 和 db_0032_e 默认选中。

输入参数信号交叉阈值(%) 允许您设置一个条件,当达到设定的阈值时,即判定检查未通过。信号交叉阈值是指模型中违规信号线占信号线总数的百分比。

示例:

如果信号交叉阈值(%) 设置为 50%,则只有当违规数量超过模块图中信号线总数的 50% 时,才会判定检查未通过。

如果信号交叉阈值(%) 设置为 0%,则任何一个违规都会导致检查无法通过;而对于 100% 的阈值,只有模型中的所有信号线都违规时,才会判定检查未通过。

结果和建议的操作

规范子 ID条件建议的操作
db_0032_a1:检查信号交叉Simulink 信号相互交叉。重新布置信号线,确保它们彼此不交叉。
db_0032_a2:检查线交叉样式是否设置为 "跨线"线条交叉样式未设置为“跨线”。将“线交叉样式”设置为“跨线”。
db_0032_b:检查信号重叠Simulink 信号相互重叠。重新布置信号线,确保它们不重叠。
db_0032_c:检查信号是否与模块发生交叉绘制 Simulink 信号时信号线穿过 Simulink 模块。绘制信号时不要穿过任何 Simulink 模块。
db_0032_d:检查信号线是否分成多个子线信号线在单一分支点被分割为两条以上的信号线。重新布置信号线,避免在单一分支点处将信号线分割为两条以上。
db_0032_e:检查信号是否绘制为斜线信号线在图中绘制为斜线。将信号绘制为垂直或水平线。

功能和限制

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

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

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

  • 对库模型运行。

  • 允许排除子系统。

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

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