检查针对信号连接性的安全相关诊断设置

R2026b

mathworks.hism.hisl_0306

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

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

描述

此检查用于验证在为安全相关应用生成代码时模型配置是否使用了适用于信号连接性的最优参数设置。

Elements under review:

查看该检查所标记的违规以及用于修复问题的建议操作。应用更改后，请保存模型并重新运行检查分析。

您可以使用修复按钮让模型顾问修复已标记的违规。为进行此项检查，模型顾问会配置适用于信号连接性且可能影响安全性的模型诊断设置。

建模条件	建议的操作
用于检测具有公共源信号但标签不同的虚拟信号的诊断值设置为无或警告。此诊断仅涉及虚拟信号，对生成的代码没有影响。但是，信号标签不匹配可能在模型审查期间导致混淆。	将模型配置参数信号标签不匹配设置为 `error`。
用于检测模型中是否包含输入信号未连接的模块的诊断值设置为无或警告。不会为未连接的模块输入生成代码。	将模型配置参数未连接的模块输入端口设置为 `error`。
用于检测模型中是否包含输出信号未连接的模块的诊断值设置为无或警告。未连接的模块输出信号可能导致死代码。	将模型配置参数未连接的模块输出端口设置为 `error`。
用于检测未连接的信号线以及不匹配的 Goto 或 From 模块的诊断值设置为无或警告。不会为未连接的信号线生成代码。	将模型配置参数未连接的信号线设置为 `error`。