主要内容

hisl_0033: Usage of Lookup Table blocks

R2026b

Keep out-of-range protection enabled in Lookup Table blocks to protect against out-of-range inputs or indices

Usage: High-Integrity System Modeling

Guideline ID: hisl_0033

Rules

hisl_0033: Usage of Lookup Table blocks
A

To support robustness of generated code, when using the 1-D Lookup Table, 2-D Lookup Table, n-D Lookup Table, or Prelookup blocks, clear block parameter Remove protection against out-of-range input in generated code.

Rationale

Protect against out-of-range inputs or indices.

Verification

Check usage of lookup table blocks (Simulink Check)

B

To support robustness of generated code, when using the Interpolation Using Prelookup block, clear block parameter Remove protection against out-of-range index in generated code.

Rationale

Protect against out-of-range inputs or indices.

Verification

Check usage of lookup table blocks (Simulink Check)

Tips

  • If the lookup table inputs are not guaranteed to fall within the range of valid breakpoint values, exclusion of range-checking code may produce unexpected results.

Industry Standards

  • DO-331, Section MB.6.3.2.g 'Algorithms are accurate'

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

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

  • 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'

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

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

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

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

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

Version History

Introduced in R2016b

expand all