hisl_0023: Verification of variant blocks

R2026b

Configure Variant block activation time to simplify consistency testing between a model and generated code

Usage: High-Integrity System Modeling

Guideline ID: hisl_0023

Rules

hisl_0023: Verification of variant blocks
A

When verifying that a model is consistent with generated code, for each Variant block, set the Variant activation time to update diagram or update diagram analyze all choices.

Rationale

Simplify consistency testing between the model and generated code by restricting the code base to a single variant.

Verification

Check usage of variant blocks (Simulink Check)

Industry Standards

  • DO-331, Section MB.6.3.3.b – Software architecture is consistent

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

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

Version History

Introduced in R2010b

expand all

See Also