检查用于调试数据的安全相关诊断设置

mathworks.hism.hisl_0305

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0305:配置参数 > 诊断 > 数据有效性 > 调试

说明

此检查验证模型配置是否使用适用于为安全相关应用程序生成代码时进行调试的最佳参数设置。

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

您可以使用修复按钮，让模型顾问修复标记的违规行为。对于此检查，模型顾问配置适用于调试数据且可能影响安全性的模型诊断设置。

建模条件	建议的操作
启用模型验证模块的诊断信息设置为使用局部设置或全部启用。此类模块是断言模块，仅用于验证。断言不适用于嵌入式代码。	将模型配置参数 Model Verification 模块启用设置为 `Disable All`。