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

R2026b

Set variant-related diagnostic parameters to error for consistent simulation and code generation behavior

Usage: High-Integrity System Modeling

Guideline ID: hisl_0074

Rules

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

Set these configuration parameters to error:

  • Arithmetic operations in variant conditions

  • Variant condition mismatch at signal source and destination

Rationale

To maintain a consistent behavior between the simulation and generated code and to prevent the creation of unused variables in generated code.

Verification

Check safety-related diagnostic settings for variants (Simulink Check)

Industry Standards

  • DO-331, Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'

  • IEC 61508–3, Table A.4 (7) 'Use of trusted / verified software modules and components'

  • MISRA C:2012, Rule 2.2

  • MISRA C:2023, Rule 2.2

  • ISO 26262-6, Table 1 (1c) 'Enforcement of strong typing'

    ISO 26262-6, Table 1 (1f) 'Use of unambiguous graphical representation'

    ISO 26262-6, Table 1 (1e) 'Use of well-trusted design principles'

Version History

Introduced in R2021b

expand all

See Also

| |