Check for unexpected backtracking in state transitions
Guideline: jc_0751: Backtracking prevention in state transition
Checks unexpected backtracking in state transitions. Configuration parameter for Unexpected backtracking (SFUnexpectedBacktrackingDiag) must be set to error.
This check looks for backtracking issues.
This check does not look for connective junctions used for separating the complex conditions.
Splitting complex conditions does not always result in backtracking issues.
This check requires a Simulink® Check™ and Stateflow® license.
This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.
For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:
NA-MAAB — a
JMAAB — a
Results and Recommended Actions
|Backtracking is undetected during the state transition.
|Set configuration parameter for Unexpected backtracking (SFUnexpectedBacktrackingDiag) to error.
Capabilities and Limitations
Runs on library models.
Does not analyze content of library-linked blocks.
Does not analyze content in masked subsystems.
Does not allow exclusions of blocks and charts.