Figure is not clear.
State “Ready” should be separated in “Selected” and “OperationStarted”.
In state “Selected” the control function has to wait for service “Operate”. Abort with cancel or timeout.
In state “OperationStarted” the control function has to check the test conditions (e.g. synchrocheck) and to wait of their completion. Abort with cancel, timeout, or if conditions are not fulfilled. For the latter there is a setting missing “max. time waiting of completion”
Proposal
Revise figures, because in today figure it is not visible that a service “select” may follow a service “operate”.
Discussion
Created
Status
Montreal: -> fulfilled with the current diagram
Some additional explanation shall be given.