-
Notifications
You must be signed in to change notification settings - Fork 0
/
sce7.txt
199 lines (167 loc) · 4.5 KB
/
sce7.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
Step 0 of scenario 7
Train A spawned
Train A reported with integrity
VSS0: transition #2A taken
Train A - eoma: 6
A
O F F F F F F F F F
O O F F F F F F F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 1 of scenario 7
Moving both front and rear of train A forward
Train A reported having left VSS0
Train A reported with integrity
VSS0: transition #6B taken
VSS1: transition #2A taken
Train A - eoma: 6
A
F O F F F F F F F F
O O F F F F F F F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 2 of scenario 7
Moving both front and rear of train A forward
Train A reported having left VSS1
Train A reported with integrity
VSS1: transition #6A taken
VSS2: transition #2A taken
Train A - eoma: 6
A
F F O F F F F F F F
F F O O O F F F F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 3 of scenario 7
Moving both front and rear of train A forward
Train A reported having left VSS2
Train A reported with integrity
VSS2: transition #6B taken
VSS3: transition #2A taken
Train A - eoma: 6
A
F F F O F F F F F F
F F O O O F F F F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 4 of scenario 7
Train A disconnects
Train A NOT reported
Timer mutetimer for train 0 running
Train A - eoma: 6
a
F F F O F F F F F F
F F O O O F F F F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 5 of scenario 7
Moving both front and rear of train A forward
Train A NOT reported
Timer mutetimer for train 0 expired
VSS3: transition #7A taken
VSS4: transition #1B taken
Train A - eoma: 6
a
F F F U U F F F F F
F F O O O F F F F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 6 of scenario 7
Moving front of train A forward
Train A NOT reported
Timer mutetimer for train 0 expired
VSS5: transition #1B taken
VSS6: transition #1B taken
Train A - eoma: 6
a a
F F F U U U U F F F
F F O O O O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 7 of scenario 7
Train A reconnects
Train A reported having left VSS3
Train A reported with integrity
Timer mutetimer for train 0 running
VSS3: transition #4C taken
VSS4: transition #12A taken
VSS5: transition #12A taken
VSS6: transition #4B taken
Train A - eoma: 6
A A
F F F F O O F F F F
F F O O O O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 8 of scenario 7
Moving rear of train A forward
Train A reported having left VSS4
Train A reported with integrity
VSS4: transition #6A taken
Train A - eoma: 6
A
F F F F F O F F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 9 of scenario 7
Moving both front and rear of train A forward
Train A reported having left VSS5
Train A reported with integrity
VSS5: transition #6B taken
VSS6: transition #2A taken
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 10 of scenario 7
Train A NOT reported
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 11 of scenario 7
Train A NOT reported
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 12 of scenario 7
Train A NOT reported
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 13 of scenario 7
Train A NOT reported
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 14 of scenario 7
Train A NOT reported
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
Step 15 of scenario 7
Train A NOT reported
Train A - eoma: 6
A
F F F F F F O F F F
F F F F F O O O F F
0 0 1 1 1 2 2 2 3 3
____________________________________________________________________________
timeout