检查与模型相关的安全诊断设置
mathworks.hism.hisl_0310
依赖关系: Simulink® Check™
用法: 高完整性系统建模
说明
此检查验证模型配置是否使用适用于为安全相关应用程序生成代码时模型引用的最佳参数设置。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
您可以使用修复按钮，让模型顾问修复标记的违规行为。对于此检查，模型顾问配置适用于模型引用的模型诊断设置，这些设置可能会影响安全性。
| 建模条件 | 建议的操作 |
|---|---|
用于检测模型加载和更新期间端口和参数不匹配的诊断程序设置为无或警告。如果未被发现，这种不匹配会导致错误的仿真结果，因为父模型和引用模型具有不同的接口。 | 将模型配置参数端口和参数不匹配设置为 |
用于检测 To Workspace 或 Scope 块是否在引用模型中记录数据的诊断信息设置为无或警告。参考模型中的 To Workspace 和 Scope 模块不支持数据记录。 | 将模型配置参数不支持的数据记录设置为 要记录数据，请移除模块并记录引用的模型信号。有关详细信息，请参阅Override Signal Logging Settings with Signal Logging Selector。 |
功能和限制
无法在库模型上运行。
不允许排除模块或图。
无需模型编译
