hisl_0066: Usage of Gain blocks

R2026b

Set the Gain block value to a nonzero value other than 1 to support traceability of generated code

Usage: High-Integrity System Modeling

Guideline ID: hisl_0066

Rules

hisl_0066: Usage of Gain blocks

To support traceability of generated code, the value of the Gain block must not resolve to 1.

Rationale

Support the generation of traceable code.

Verification

Check usage of Gain blocks (Simulink Check)

Tips

  • The code generation process can remove Gain values equal to 1 during optimization, resulting in model elements with no traceable code.

  • An exception to this rule is setting the Gain value to a named parameter data object with a non-auto storage class.

Industry Standards

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

  • IEC 61508-3, Table A.3 (3) 'Language subset'

    IEC 61508-3, Table A.4 (3) 'Defensive programming'

    IEC 61508-3, Table B.8 (3) 'Control Flow Analysis'

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1b) 'Use of language subsets'

    ISO 26262-6, Table 1 (1d) 'Use of defensive implementation techniques'

    ISO 26262-6, Table 7 (1f) 'Control flow analysis'

  • EN 50128, Table A.4 (11) 'Language Subset'

    EN 50128, Table A.3 (1) 'Defensive Programming'

    EN 50128, Table A.19 (3) 'Control Flow Analysis'

  • EN 50657, Table A.4 (11) 'Language Subset'

    EN 50657, Table A.3 (1) 'Defensive Programming'

    EN 50657, Table A.19 (3) 'Control Flow Analysis'

  • EN 50716, Table A.3 (1) 'Defensive Programming'

    EN 50716, Table A.19 (3) 'Control Flow Analysis'

Version History

Introduced in R2018a

expand all