jc_0740: Limitation on use of exit state action
Sub ID Recommendations
NA-MAAB — No recommendations
JMAAB — a
Sub ID a
State action type
exit(ex) shall not be used.
This example illustrates how the model behavior in Stateflow®
Chart (Stateflow) is misinterpreted. It
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
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.
Model Advisor check: Check if state action type 'exit' is used in the model (Simulink Check)
JMAAB guideline jc_0740, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Exit a State (Stateflow)