主要内容

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

检查与安全相关的诊断设置是否存在变体

mathworks.hism.hisl_0074

自 R2021b 起

依赖关系: Simulink® Check™

用法: 高完整性系统建模

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

说明

此检查会识别适用于变体的模型配置中的诊断设置。

建议的行动和结果

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

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

功能和限制

  • 无需模型编译

版本历史记录

在 R2021b 中推出