hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging

R2026b

Set Model Verification block enabling to disable all to improve design robustness

Usage: High-Integrity System Modeling

Guideline ID: hisl_0305

Rules

hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging

Set configuration parameter Model Verification block enabling to Disable all.

Rationale

Improve robustness of design.

Verification

Check safety-related diagnostic settings for data used for debugging (Simulink Check)

Industry Standards

  • DO-331, Section MB.6.3.1.e – High-level requirements conform to standards
    DO-331, Section MB.6.3.2.e – Low-level requirements conform to standards

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

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

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

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

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

Version History

Introduced in R2011b

expand all

See Also