jc_0740: Limitation on use of exit state action

Sub ID Recommendations

NA-MAAB — No recommendations
JMAAB — a

MATLAB Versions

All

Rule

Sub ID a

State action type exit(ex) shall not be used.

Custom Parameter

Not Applicable

Example — Correct

Example — Incorrect

This example illustrates how the model behavior in Stateflow^® Chart (Stateflow) is misinterpreted. It appears that TBD is output when state action type exit(ex) is used, but it is in fact being overwritten by the state action type entry of the transition destination state. It is not outputted by the Stateflow Chart (Stateflow).

Rationale

Sub ID a:

Execution timing can be difficult to understand when state action type exit(ex) is used in combination with a conditional action, a transition action, or state action type entry(en). This can result in misinterpretation of the model behavior.

Verification

Model Advisor check: Check if state action type 'exit' is used in the model (Simulink Check)

Last Changed

R2020a

Documentation