Check safety-related diagnostic settings for variants

mathworks.hism.hisl_0074

Since R2021b

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants

Description

This check identifies the diagnostic settings in the model configuration that apply to variants.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling ConditionRecommended Action
The diagnostic check that identifies mismatches between the variant conditions for a signal source and destination is not enabled. The model configuration parameter Variant condition mismatch at signal source and destination in the model is not set to Error.Set the model configuration parameter Variant condition mismatch at signal source and destination to Error or programmatically set VariantConditionMismatch to 'error'.
The Configuration parameter Arithmetic operations in variant conditions in the model is not set to Error.Set the model configuration parameter Arithmetic operations in variant conditions to Error or programmatically set ArithmeticOperatorsInVariantConditions to 'error'.

Capabilities and Limitations

  • Does not require model compilation

Version History

Introduced in R2021b

See Also

Topics