Main Content

hisf_0016: Stateflow port names

R2026b

Name Stateflow input and output ports the same as the corresponding signal

Usage: High-Integrity System Modeling

Guideline ID: hisf_0016

Rules

hisf_0016: Stateflow port names

The name of a Stateflow® input or output must be the same as the corresponding signal. An exception to the guideline is that reusable Stateflow blocks can have different port names.

Rationale

Support generation of traceable code.

Verification

Check naming of ports in Stateflow charts (Simulink Check)

Industry Standards

  • DO-331, Section MB.6.3.2.b 'Low-level requirements are accurate and 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 R2018a

expand all