Chapter 10. Modeling Event-Based Behavior with State Machines
This chapter describes how to model behavior in terms of the response of blocks to internal and external events, using state machines.
State machines typically are used in SysML to describe the state-dependent behavior of a block throughout its life cycle in terms of its states and the transitions between them. A state machine for a block may be started, for example, when it initiates power up, transitions through multiple states in response to different stimuli, and terminates when it completes power down. In each state, the block may perform different sets of actions. Thus, the state machine defines how the block’s behavior changes as it transitions through different states. ...