Check for unexpected backtracking in state transitions

Check ID: mathworks.jmaab.jc_0751

Guideline: jc_0751: Backtracking prevention in state transition

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

Description

Checks unexpected backtracking in state transitions.

Note

• 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^® licenses.

Check Parameterization

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

Condition	Recommended Action
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.