9")
87
Message("99.9")
88
TimeoutMsgLost()
90
NoHandler()
93
NoHandler()
CheckMessage()
CheckMessage()
89
NoHandler()
91
Command()
92
NoHandler() Command()
95
Message("999.9")
96
Message("99.9")
94
Command()
CheckMessage()
CheckMessage()
97
NoHandler()
Message("999.9") Message("99.9")
Command()
Command()
TimeoutMsgLate() Message("999.9") Message("99.9") TimeoutMsgLost()
Command()
Timeout()
Command()
Timeout()
Command()
TimeoutMsgLost()
102
Message("99.9")
100
TimeoutMsgLate()
101
Message("999.9")
NoHandler()
Poll()
104
NoHandler()
Command()
106
Timeout()
108
Poll()
Command()
Timeout()
Message("999.9") Message("99.9")
110
TimeoutMsgLate()
111
TimeoutMsgLost()
109
Command()
116
ReportLostMessage()
115
ReportLostMessage()
112
NoHandler()
Message("999.9") Message("99.9") TimeoutMsgLate() TimeoutMsgLost()
Command()
Command()
Timeout()
Command()
Message("99.9")
Message("999.9")
TimeoutMsgLost()
118
TimeoutMsgLate()
Poll()
Command()
Message("99.9")
Message("999.9")
TimeoutMsgLost()
TimeoutMsgLate()
Command()
TimeoutMsgLost()
Message("99.9")
TimeoutMsgLate() Message("999.9")
Command()
Timeout()
20
Command()
21
NoHandler() Command()
Command()
Message("999.9")TimeoutMsgLost() Message("99.9") TimeoutMsgLate()
Figure 3.8. Controller FSM showing unsafe states.
Figure 3.8 shows the entire FSM of our model program.
Pages:
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90