检查与仿真时间相关的安全求解器设置

mathworks.hism.hisl_0040

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0040:配置参数 > 求解器 >仿真时间

说明

此检查验证模型配置是否使用与生成安全相关应用程序代码的仿真时间相关的最佳参数设置。

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

如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。

您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。

建模条件	建议的操作
仿真或生成代码的开始时间设置为除 0.0之外的值。	将模型配置参数开始时间设置为 `0.0`，或将参数 `StartTime` 设置为 `'0.0'`。
仿真或生成代码的停止时间设置为负值或大于 Application lifespan (days) 值的正值。默认情况下，对于配置为使用数据代码接口的模型，应用程序生命周期 (天) 设置为 `auto`。对于配置为使用服务代码接口的模型，默认值为 `inf`。如果您不更改此设置，则停止时间的值为正数是有效的。	将模型配置参数停止时间设置为小于应用程序生命周期 (天) 值的正值。