检查与安全相关的求解器设置,了解求解器选项
mathworks.hism.hisl_0041
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0041:配置参数 > 求解器 > 求解器选项
说明
此检查验证模型配置是否使用了与求解器选项相关的最佳参数设置,以便为安全相关应用程序生成代码。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。
如果您认为标记的违规行为与您的设计无关或不可行,请使用申述按钮提供理由,说明为什么该违规行为与您的设计无关或不可行。
您可以使用修复按钮,让模型顾问修复所有标记的违规行为。本次检查中,模型顾问会配置可能影响安全性的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
| 该模型配置为使用变步长求解器。 | 将模型配置参数 类型 设置为定步长,或将参数 SolverType 设置为 'Fixed-step'。 |
| 该模型未配置为使用没有连续状态的离散求解器。 | 将模型配置参数 求解器 设置为离散 (无连续状态),或将参数 Solver 设置为 'FixedStepDiscrete'。 |
功能和限制
无需模型编译
无法在库模型上运行。
不允许排除模块或图。
版本历史记录
在 R2020a 中推出