-
Notifications
You must be signed in to change notification settings - Fork 0
/
SimulationExample.txt
159 lines (159 loc) · 4.14 KB
/
SimulationExample.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
NuSMV > pick_state -r
NuSMV > simulate -p
******** Simulation Starting From State 2.1 ********
Trace Description: Simulation Trace
Trace Type: Simulation
-> State: 2.1 <-
tag1.status = idle
tag1.id = 0ud10_0
tag2.status = idle
tag2.id = 0ud10_0
tag3.status = idle
tag3.id = 0ud10_0
reader.status = signaling
reader.reading_id = 0ud10_0
reader.accepted_id = 0ud10_1023
reader.read_tags = 0
reader.tree_level = 0
reader.actual_bit = 0ud1_0
rnd1 = 1
rnd2 = 1
rnd3 = 1
generated_number1 = 433
generated_number2 = 433
generated_number3 = 433
reader.count_responding_tags = 0
-> State: 2.2 <-
tag1.status = responding
tag2.status = responding
tag3.status = responding
reader.status = waiting
generated_number1 = 434
generated_number2 = 434
generated_number3 = 434
reader.count_responding_tags = 3
-> State: 2.3 <-
tag1.status = colliding
tag2.status = colliding
tag3.status = colliding
reader.status = resolving_collision
rnd1 = 0
rnd2 = 0
rnd3 = 0
-> State: 2.4 <-
tag1.status = idle
tag2.status = idle
tag3.status = idle
reader.status = signaling
reader.tree_level = 1
reader.count_responding_tags = 0
-> State: 2.5 <-
tag1.status = responding
tag2.status = responding
tag3.status = responding
reader.status = waiting
generated_number1 = 435
generated_number2 = 435
generated_number3 = 435
reader.count_responding_tags = 3
-> State: 2.6 <-
tag1.status = colliding
tag2.status = colliding
tag3.status = colliding
reader.status = resolving_collision
rnd1 = 1
rnd3 = 1
-> State: 2.7 <-
tag1.status = idle
tag1.id = 0ud10_1
tag2.status = idle
tag3.status = idle
tag3.id = 0ud10_1
reader.status = signaling
reader.tree_level = 2
reader.count_responding_tags = 0
-> State: 2.8 <-
tag2.status = responding
reader.status = waiting
generated_number1 = 436
generated_number2 = 436
generated_number3 = 436
reader.count_responding_tags = 1
-> State: 2.9 <-
reader.status = reading
rnd2 = 1
generated_number1 = 437
generated_number3 = 437
-> State: 2.10 <-
tag2.status = success
reader.status = idle
reader.accepted_id = 0ud10_0
reader.read_tags = 1
generated_number1 = 438
generated_number3 = 438
reader.count_responding_tags = 0
-> State: 2.11 <-
reader.status = signaling
reader.reading_id = 0ud10_1
reader.accepted_id = 0ud10_1023
generated_number1 = 439
generated_number3 = 439
-> State: 2.12 <-
tag1.status = responding
tag3.status = responding
reader.status = waiting
generated_number1 = 440
generated_number3 = 440
reader.count_responding_tags = 2
-> State: 2.13 <-
tag1.status = colliding
tag3.status = colliding
reader.status = resolving_collision
rnd1 = 0
-> State: 2.14 <-
tag1.status = idle
tag1.id = 0ud10_2
tag3.status = idle
tag3.id = 0ud10_3
reader.status = signaling
reader.reading_id = 0ud10_2
reader.tree_level = 3
reader.count_responding_tags = 0
-> State: 2.15 <-
tag1.status = responding
reader.status = waiting
generated_number1 = 441
generated_number3 = 441
reader.count_responding_tags = 1
-> State: 2.16 <-
reader.status = reading
rnd1 = 1
generated_number3 = 442
-> State: 2.17 <-
tag1.status = success
reader.status = idle
reader.accepted_id = 0ud10_2
reader.read_tags = 2
generated_number3 = 443
reader.count_responding_tags = 0
-> State: 2.18 <-
reader.status = signaling
reader.reading_id = 0ud10_3
reader.accepted_id = 0ud10_1023
generated_number3 = 444
-> State: 2.19 <-
tag3.status = responding
reader.status = waiting
generated_number3 = 445
reader.count_responding_tags = 1
-> State: 2.20 <-
reader.status = reading
-> State: 2.21 <-
tag3.status = success
reader.status = idle
reader.accepted_id = 0ud10_3
reader.read_tags = 3
reader.count_responding_tags = 0
-> State: 2.22 <-
reader.status = terminated
reader.accepted_id = 0ud10_1023