hisf_0017: Stateflow data object scoping

R2026b

Define locally scoped Stateflow data objects at the chart level or below

Usage: High-Integrity System Modeling

Guideline ID: hisf_0017

Rules

hisf_0017: Stateflow data object scoping

Stateflow data objects with local scope must be defined at the chart level or below.

Rationale

Support generation of traceable code.

Verification

Check scoping of Stateflow data objects (Simulink Check)

Example — Correct

Local data objects are defined at the chart level.

Model Explorer showing local data object x defined at the Chart level with scope Local and type int32

Example — Incorrect

Local data objects are defined above the chart level.

Model Explorer showing local data object x defined at the model root level instead of at the Chart level

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

See Also

Topics