hisf_0001: State Machine Type

R2026b

Use the same state machine type for all Stateflow charts in the model

Usage: High-Integrity System Modeling

Guideline ID: hisf_0001

Rules

hisf_0001: State Machine Type

To create Stateflow® charts that implement consistent Stateflow semantics, use the same State Machine Type (Classic, Mealy, or Moore) for all charts in the model.

Rationale

Promote a clear modeling style.

Verification

Check state machine type of Stateflow charts (Simulink Check)

Tips

  • In Mealy charts, actions are associated with transitions. In the Moore charts, actions are associated with states. In Classic charts, actions can be associated with both transition and states.

  • At compile time, Stateflow verifies that the chart semantics comply with the formal definitions and rules of the selected type of state machine. If the chart semantics are not in compliance, the software provides a diagnostic message.

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'

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

Version History

Introduced in R2010a

expand all

See Also

(Stateflow)

Topics