4.2.3 Program Finite State Machine

The states, transitions, causes and effects that compose the Program Finite State Machine are listed in Table 1 and illustrated in Figure 3.

Table 1 – Program Finite State Machine
No.Transition nameCauseFrom stateTo stateEffect
1HaltedToReadyReset MethodHaltedReadyReport Transition 1 Event/Result
2ReadyToRunningStart MethodReadyRunningReport Transition 2 Event/Result
3RunningToHaltedHalt Method or Internal (Error)RunningHaltedReport Transition 3 Event/Result
4RunningToReadyInternalRunningReadyReport Transition 4 Event/Result
5RunningToSuspendedSuspend MethodRunningSuspendedReport Transition 5 Event/Result
6SuspendedToRunningResume MethodSuspendedRunningReport Transition 6 Event/Result
7SuspendedToHaltedHalt MethodSuspendedHaltedReport Transition 7 Event/Result
8SuspendedToReadyInternalSuspendedReadyReport Transition 8 Event/Result
9ReadyToHaltedHalt MethodReadyHaltedReport Transition 9 Event/Result