检查与信号连接相关的安全诊断设置

mathworks.hism.hisl_0306

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0306:配置参数 > 诊断 > 连接 > 信号

说明

此检查验证模型配置是否使用适用于安全相关应用程序代码时信号连接的最佳参数设置。

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

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

建模条件	建议的操作
用于检测具有相同源信号但标签不同的虚拟信号的诊断程序设置为无或警告。此诊断仅与虚拟信号有关，对生成的代码没有影响。然而，信号标签不匹配可能会导致模型评审过程中的混乱。	将模型配置参数信号标签不匹配设置为 `error`。
用于检测模型中是否存在输入信号未连接的模块的诊断信息设置为无或警告。对于未连接的模块输入，不会生成代码。	将模型配置参数未连接的模块输入端口设置为 `error`。
用于检测模型中是否存在具有未连接输出信号的模块的诊断信息设置为无或警告。死代码可能是由于模块输出信号未连接造成的。	将模型配置参数未连接的模块输出端口设置为 `error`。
用于检测未连接的信号线和不匹配的 Goto 或 From 块的诊断程序设置为无或警告。不相连的线路不会生成代码。	将模型配置参数未连接的信号线设置为 `error`。