Main Content

Check safety-related diagnostic settings for Stateflow

Check ID: mathworks.hism.hisl_0311

Check safety-related diagnostic settings for Stateflow®

Description

This check verifies that model configuration parameters are set optimally for Stateflow for a safety-related application.

Available with Simulink® Check™.

This check requires Stateflow license.

Results and Recommended Actions

ConditionRecommended Action
The diagnostic that detects whether a chart configuration leads to unwanted backtracking during simulation is set to none or warning.

In the Configuration Parameters dialog box, set Unexpected backtracking or set the parameter SFUnexpectedBacktrackingDiag to error.

The diagnostic that detects whether a chart configuration has blocks that connect to chart input ports do not initialize their outputs during initialization is set to none or warning.

In the Configuration Parameters dialog box, set Invalid input data access in chart initialization or set the parameter SFInvalidInputDataAccessInChartInitDiag to error.

The diagnostic that detects whether a chart has an unconditional default transition to a state or a junction is set to none or warning.

In the Configuration Parameters dialog box, set No unconditional default transitions or set the parameter SFNoUnconditionalDefaultTransitionDiag to error.

The diagnostic that detects whether a chart contains a transition that loops outside of the parent state or junction is set to none or warning.

In the Configuration Parameters dialog box, set Transition outside natural parent or set the parameter SFTransitionOutsideNaturalParentDiag to error.

The diagnostic that detects whether a chart is constructed on a valid execution path is set to none or warning.

In the Configuration Parameters dialog box, set Unreachable execution path or set the parameter SFUnreachableExecutionPathDiag to error.

The diagnostic detects that the parameter Undirected event broadcasts is set to none or warning.Set Undirected event broadcasts in the Configuration Parameters dialog box or set the parameter SFUndirectedBroadcastEventsDiag to error.
The diagnostic detects that the parameter Transition action specified before condition action is set to none or warning.Set Transition action specified before condition action in the Configuration Parameters dialog box or set the parameter SFTransitionActionBeforeConditionDiag to error.
The diagnostic that detects that the parameter Read-before-write to output in Moore chart is set to none or warning. Set Read-before-write to output in Moore chart in the Configuration Parameters dialog box or set the parameter SFOutputUsedAsStateInMooreChartDiag to error.
The diagnostic detects that the parameter Absolute time temporal value shorter than sampling period is set to none or warning.Set Absolute time temporal value shorter than sampling period in the Configuration Parameters dialog box or set the parameter SFTemporalDelaySmallerThanSampleTimeDiag to error.
The diagnostic detects that the parameter Self transition on leaf state is set to none or warning.Set Self transition on leaf state in the Configuration Parameters dialog box or set the parameter SFSelfTransitionDiag to error.
The diagnostic detects that the parameter Execute-at-Initialization disabled in presence of input events is set to none or warning.Set Execute-at-Initialization disabled in presence of input events in the Configuration Parameters dialog box or set the parameter SFExecutionAtInitializationDiag to error.

Action Results

Clicking Modify Settings configures model diagnostic settings that apply to solvers and that can impact safety.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

See Also