Stateflow

Stateflow Semantics

Stateflow semantics describe how the notation in Stateflow charts is interpreted and implemented into a behavior. Knowledge of Stateflow semantics is important to make sound Stateflow diagram design decisions for code generation. Different notations result in different behavior during simulation and generated code execution. This chapter contains the following sections:

Executing an Event	Describes the behavior of events that drive Stateflow chart execution.
Executing a Chart	Describes how charts become active, execute, and become inactive.
Executing a Transition	Describes the processes for grouping, ordering, and executing a transition.
Executing a State	Describes how states become active, execute, and become inactive.
Early Return Logic for Event Broadcasts	Describes the logic employed when events interrupt the normal execution behavior of Stateflow charts.
Semantic Examples	A list of the semantic (behavioral) examples provided in the remainder of this chapter.
Transitions to and from Exclusive (OR) States Examples	Examples that describe the behavior of transitions that exit and enter exclusive (OR) states.
Condition Action Examples	Examples that describe the behavior of Stateflow diagrams using condition actions.
Default Transition Examples	Examples that describe the behavior of Stateflow diagrams using default transitions.
Inner Transition Examples	Examples that describe the behavior of Stateflow diagrams using inner transitions.
Connective Junction Examples	Example that describe the behavior of Stateflow diagrams using connective junctions.
Event Actions in a Superstate Example	Example that describe the behavior of Stateflow diagrams using event actions.
Parallel (AND) State Examples	Example Stateflow diagrams demonstrating the behavior of parallel (AND) states.
Directed Event Broadcasting Examples	Example Stateflow diagrams demonstrating how to use directed event broadcasting.

Action Language Executing an Event