hisl_0311: Configuration Parameters > Diagnostics > Stateflow

R2026b

Set Stateflow diagnostics to error to improve design robustness and promote clear modeling style

Usage: High-Integrity System Modeling

Guideline ID: hisl_0311

Rules

hisl_0311: Configuration Parameters > Diagnostics > Stateflow^®
On the Diagnostics > Stateflow pane, set these configuration parameters to `error`: Unexpected backtracking Invalid input data access in chart initialization No unconditional default transitions Transition outside natural parent Undirected event broadcasts Transition action specified before condition action Read-before-write to output in Moore chart Absolute time temporal value shorter than sampling period Self transition on leaf state Execute-at-Initialization disabled in presence of input events Unreachable execution path Rationale Improve robustness of design and promote a clear modeling style. Verification Check safety-related diagnostic settings for Stateflow (Simulink Check)

hisl_0311: Configuration Parameters > Diagnostics > Stateflow^®

On the Diagnostics > Stateflow pane, set these configuration parameters to error:

Rationale

Improve robustness of design and promote a clear modeling style.

Verification

Industry Standards

DO-331, Section MB.6.3.1.b 'High-level requirements are accurate and consistent'
DO-331, Section MB.6.3.1.e 'High-level requirements conform to standards'
DO-331, Section MB.6.3.1.g 'Algorithms are accurate'
DO-331, Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'
DO-331, Section MB.6.3.2.d 'Low-level requirements are verifiable'
DO-331, Section MB.6.3.2.e 'Low-level requirements conform to standards'
DO-331, Section MB.6.3.2.g 'Algorithms are accurate'
EN 50128, Table A.4 (11) - 'Language Subset'
EN 50128, Table A.12 (6) - 'Limited Use of Recursion'
EN 50657, Table A.4 (11) - 'Language Subset'
EN 50657, Table A.12 (6) - 'Limited Use of Recursion'
IEC 62304, 5.5.3 - 'Software Unit acceptance criteria'
ISO 26262-6, Table 1 (1b) - 'Use of language subsets'
ISO 26262-6, Table 6 (1j) - 'No recursions'
IEC 61508-3, Table A.3 (3) - 'Language subset'
MISRA C:2012, Rule 17.2
MISRA C:2023, Rule 17.2

Version History

Introduced in R2011b

expand all

R2026a: Added EN 50657 references

The Industry Standards section has been updated to include EN 50657 references.

R2025b: Added MISRA C:2023 reference

The Industry Standards section has been updated to include MISRA C:2023, Rule 17.2.

R2023a: Removed recommendation for configuration parameter Use of machine-parented data instead of Data Store Memory

Removed recommendation for configuration parameter Use of machine-parented data instead of Data Store Memory (parameter removed from product).

R2021a: Added Stateflow diagnostic configuration parameters

Added configuration parameters: Read-before-write to output in Moore chart, Absolute time temporal value shorter than sampling period, Self transition on leaf state, Execute-at-Initialization disabled in presence of input events, and Use of machine-parented data instead of Data Store Memory.