hisf_0014: Usage of transition paths (passing through states)

R2026b

Avoid transition paths that pass through states without ending on a substate

Usage: High-Integrity System Modeling

Guideline ID: hisf_0014

Rules

hisf_0014: Usage of transition paths (passing through states)
A

To avoid creating diagrams that are confusing and include transition paths without benefit, avoid transition paths that go into and out of a state without ending on a substate.

Rationale

Enhance model readability.

Verification

Check for inappropriate use of transition paths (Simulink Check)

Example

Stateflow chart showing correct usage of transition paths that do not pass through states without ending on a substate

Tips

  • You can use this guideline to maintain a modeling language subset in high-integrity projects.

Industry 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'

  • DDO-331, Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'

Version History

Introduced in R2010a

expand all