检查与总线连接相关的安全诊断设置

mathworks.hism.hisl_0307

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0307:配置参数 > 诊断 > 连接 > 总线

说明

此检查验证模型配置是否使用适用于总线连接的最佳参数设置，以便在为安全相关应用程序生成代码时使用。

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

您可以使用修复按钮，让模型顾问修复标记的违规行为。本次检查中，模型顾问配置了适用于总线连接并可能影响安全性的模型诊断设置。

建模条件	建议的操作
用于检测 Model 模块的根 Outport 模块是否连接到总线，但不指定总线对象的诊断信息设置为无或警告。要使总线信号跨越模型边界，必须将该信号定义为总线对象，以便与使用该模型作为参考模型的更高级别模型兼容。	将模型配置参数根 Outport 模块上未指定总线对象设置为 `error`。
用于检测总线元素名称是否与相应总线对象指定的名称匹配的诊断信息设置为无或警告。	将模型配置参数元素名称不匹配设置为 `error`。
用于检测某些模块将信号视为多路复用器或向量，而其他模块将信号视为总线的诊断信息设置为无或警告。当 Simulink 软件自动将复用信号转换为总线时，可能会发生意外操作或不可预测的行为。	将模型配置参数总线信号视为向量设置为 `error`。
用于检测何时将非总线信号视为总线的诊断功能未设置为错误。	将模型配置参数非总线信号被视为总线信号设置为 `error`。