主要内容

hisl_0310: Configuration Parameters > Diagnostics > Model Referencing

R2026b

Set model referencing diagnostics to error to improve design robustness

Usage: High-Integrity System Modeling

Guideline ID: hisl_0310

Rules

hisl_0310: Configuration Parameters > Diagnostics > Model Referencing

Set these configuration parameters to error:

  • Port and parameter mismatch

  • Unsupported data logging

Rationale

Improve robustness of design.

Verification

Check safety-related diagnostic settings for model referencing (Simulink Check)

Industry Standards

  • DO-331, Section MB.6.3.1.d – High-level requirements are verifiable

  • DO-331, Section MB.6.3.2.d – Low-level requirements are verifiable.

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

  • 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