检查针对变体的安全相关诊断设置

R2026b

mathworks.hism.hisl_0074

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0074：配置参数 > 诊断 > 与变体相关的建模问题

描述

此检查用于标识模型配置中应用于变体的诊断设置。

Elements under review:

查看该检查所标记的违规以及用于修复问题的建议操作。应用更改后，请保存模型并重新运行检查分析。

建模条件	建议的操作
用于标识信号源和信号目标的变体条件之间不匹配的诊断检查未启用。模型中的模型配置参数信号的源和目标的变体条件不匹配未设置为 `Error`。	将模型配置参数信号的源和目标的变体条件不匹配设置为 `Error`，或以编程方式将 `VariantConditionMismatch` 设置为 `'error'`。
模型中的配置参数变体条件中存在算术运算未设置为 `Error`。	将模型配置参数变体条件中存在算术运算设置为 `Error`，或以编程方式将 `ArithmeticOperatorsInVariantConditions` 设置为 `'error'`。