检查与任务和采样时间相关的求解器安全设置
mathworks.hism.hisl_0042
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0042:配置参数 > 求解器 > 任务和采样时间选项
说明
此检查验证模型配置是否使用最佳参数设置，以确保模型在与安全相关的应用的特定优先周期采样时间点运行。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。
您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
| 已选择模型配置参数自动处理数据传输的速率转换。 | 清除模型配置参数自动处理数据传输的速率转换。 |
| Rate Transition 模块参数确保数据传输的数据完整性被清除。 | 对于每个 Rate Transition模块，选择模块参数确保数据传输的数据完整性。 |
功能和限制
无需模型编译
无法在库模型上运行。
不允许排除模块或图。
