主要内容

本页采用了机器翻译。点击此处可查看英文原文。

检查与安全相关的求解器设置,了解求解器选项

mathworks.hism.hisl_0041

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0041:配置参数 > 求解器 > 求解器选项

说明

此检查验证模型配置是否使用了与求解器选项相关的最佳参数设置,以便为安全相关应用程序生成代码。

建议的行动和结果

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

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

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

建模条件建议的操作
该模型配置为使用变步长求解器。将模型配置参数 类型 设置为定步长,或将参数 SolverType 设置为 'Fixed-step'
该模型未配置为使用没有连续状态的离散求解器。将模型配置参数 求解器 设置为离散 (无连续状态),或将参数 Solver 设置为 'FixedStepDiscrete'

功能和限制

  • 无需模型编译

  • 无法在库模型上运行。

  • 不允许排除模块或图。

版本历史记录

在 R2020a 中推出