hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters

R2026b

Set data validity parameter diagnostics to error to improve design robustness

Usage: High-Integrity System Modeling

Guideline ID: hisl_0302

Rules

hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters

In the Configuration Parameters dialog box, on the Diagnostics > Data Validity pane, set the Parameters parameters as follows:

  • Detect downcast to error

  • Detect underflow to error

  • Detect loss of tunability to error

  • Detect overflow to error

  • Detect precision loss to error

Rationale

Improve robustness of design.

Verification

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

Industry Standards

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

  • 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.3 (1) 'Defensive Programming'

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

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

Version History

Introduced in R2011b

expand all

See Also