检查模型初始化相关的安全诊断设置
mathworks.hism.hisl_0304
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0304:配置参数 > 诊断 > 数据有效性 >模型初始化
说明
此检查验证模型配置是否使用适用于为安全相关应用程序生成代码时模型初始化的最佳参数设置。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
您可以使用修复按钮，让模型顾问修复标记的违规行为。对于此检查，模型顾问配置适用于模型初始化的模型诊断设置，这些设置可能会影响安全性。
在模型顾问报告中，D - 表示前提条件子检查。您需要解决运行依赖子检查的先决约束。
| 建模条件 | 建议的操作 |
|---|---|
该模型配置如下：
在这种配置下，如果模型包含条件执行子系统，其中具有指定初始条件的模块驱动具有未定义初始条件的 Outport 模块，则软件不会发出警告。条件执行的子系统可能具有未初始化的输出，如果未检测到输出未初始化，则可能产生不确定的行为。 | 可以使用以下方法之一来解决初始条件和输出的初始化问题：
|
功能和限制
无法在库模型上运行。
不允许排除模块或图。
无需模型编译
版本历史记录
在 R2009b 中推出
