主要内容

hisl_0079: Connections to root input/output ports

R2026b

Adhere to internal connection constraints on root-level Inport and Outport blocks to improve traceability

Since R2024a

Usage: High-Integrity System Modeling

Guideline ID: hisl_0079

Rules

hisl_0079: Connections to root input/output ports

To improve traceability, adhere to the internal connection constraints on the root-level Inport and Outport blocks of the current model.

Rationale

Improve robustness of design.

Verification

Check for invalid root input and output port connections (Simulink Check)

Tips

  • When internal connections to the root-level port blocks of a model are invalid, the software silently inserts hidden blocks to satisfy the constraints wherever possible. The hidden blocks can result in generated code without traceable requirements.

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 R2024a

expand all