hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals

R2026b

Set connectivity signal diagnostics to error to improve design robustness

Usage: High-Integrity System Modeling

Guideline ID: hisl_0306

Rules

hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals

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

  • Signal label mismatch to error

  • Unconnected block input ports to error

  • Unconnected block output ports to error

  • Unconnected line to error

Rationale

Improve robustness of design.

Verification

Check safety-related diagnostic settings for signal connectivity (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'
    ISO 26262-6, Table 1 (1f) - 'Use of unambiguous graphical representation'

  • 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