Check safety-related diagnostic settings for Stateflow

mathworks.hism.hisl_0311

Dependencies: Simulink^® Check™ and Stateflow^®

Usage: High-Integrity System Modeling

Guideline: hisl_0311: Configuration Parameters > Diagnostics > Stateflow

Description

This check verifies that the model configuration uses optimal parameter settings that apply to Stateflow when generating code for a safety-related application.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

You can use the Fix button to allow the Model Advisor to fix flagged violations. For this check, the Model Advisor configures diagnostic settings that apply to Stateflow and that can impact safety.

Modeling Condition	Recommended Action
The diagnostic that detects whether a chart configuration leads to unwanted backtracking during simulation is set to none or warning.	Set model configuration parameter Unexpected backtracking 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.	Set model configuration parameter Invalid input data access in chart initialization 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.	Set model configuration parameter No unconditional default transitions 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.	Set model configuration parameter Transition outside natural parent to error.
The diagnostic that detects whether a chart is constructed on a valid execution path is set to none or warning.	Set model configuration parameter Unreachable execution path to error.
The diagnostic that detects that the parameter Undirected event broadcasts is set to none or warning.	Set model configuration parameter Undirected event broadcasts to error.
The diagnostic detects that the parameter Transition action specified before condition action is set to none or warning.	Set model configuration parameter Transition action specified before condition action to error.
The diagnostic that detects that the parameter Read-before-write to output in Moore chart is set to none or warning.	Set model configuration parameter Read-before-write to output in Moore chart to error.
The diagnostic detects that the parameter Absolute time temporal value shorter than sampling period is set to none or warning.	Set model configuration parameter Absolute time temporal value shorter than sampling period to error.
The diagnostic detects that the parameter Self transition on leaf state is set to none or warning.	Set model configuration parameter Self transition on leaf state to error.
The diagnostic detects that the parameter Execute-at-Initialization disabled in presence of input events is set to none or warning.	Set model configuration parameter Execute-at-Initialization disabled in presence of input events to error.

Capabilities and Limitations

• Does not run on library models

• Does not allow exclusions of blocks or charts

• Does not require model compilation

Version History

Introduced in R2017b