Figure 6: Case 4. failure to receive operation schedule.
5.2.4 Case 4. Failure to Receive Operation
Schedule
Fig. 6 illustrates the behavior of the system when
Lead vehicle 1 arrives at the node where the server 5 is
located after a lapse of 55 seconds. In this experiment,
Lead vehicle 1 tries to receive the operation schedule
from the server in 4 seconds immediately after arrival,
but could not receive it due to a failure of the server.
Therefore, this process is repeated five times in suc-
cession. Still, because the vehicle could not receive
the operation schedule, it moves to another certain
node in order to try to receive the operation sched-
ule from another server. As a result, it can be avoided
that the vehicle keeps waiting under the failed server,
and the operation of the vehicle can be continued.
In addition, Lead vehicle 1 arrives again at the
same node after 259 seconds, but similarly it was
unable to receive the operation schedule in the first
4 seconds, and repeatedly waited for reception five
times and moved to another node again. Also, for the
Lead vehicle 2, after arriving at the same node, it be-
haves similarly to the Lead vehicle 1 without termi-
nating the transportation service.
6 CONCLUSIONS AND FUTURE
WORK
We proposed a fault-tolerant mechanism for the traffic
management system of a last-mile transportation ser-
vice. The basis of our mechanism is to use a primary-
backup replication technique. More precisely, one
of the node servers is selected as the central server
and the other servers periodically receive state-update
messages, thereby allowing another node server to
take over when the central server fails. In particular,
the primary-backup replication used in this study is
an optimistic version previously introduced (Hasebe
et al., 2011). This makes it possible to tolerate var-
ious patterns of failures, including the simultaneous
failure of the majority of servers and network parti-
tioning.
We are currently conducting demonstration exper-
iments using golf carts to realize this transportation
system. In future work, we will investigate the trans-
portation system further to refine our implementation
in experiments.
REFERENCES
Defago, X. and Schiper, A. (2004). Semi-passive replica-
tion and lazy consensus. Journal of Parallel and Dis-
tributed Systems, 64(12):1380–1398.
Dijkstra, E. W. (1974). Self-stabilizing system in spite
of distributed control. Communication of the ACM,
17(11):643–644.
Dolev, S. (2000). Self-Stabilization. MIT Press.
Dolev, S., Kat, R. I., and Schiller, E. M. (2010). When con-
sensus meets self-stabilization. Journal of Computer
and System Science, 76(8):884–900.
Hasebe, K., , Tsuji, M., and Kato, K. (2017a). Deadlock
detection in the scheduling of last-mile transportation
using model checking. In 15th IEEE International
Conference on Dependable, Autonomic and Secure
Computing.
Hasebe, K., Kato, K., Abe, H., Akiya, R., and Kawamoto,
M. (2017b). Traffic management for last-mile public
transportation systems using autonomous vehicles. In
IEEE 3rd International Smart Cities Conference.
Hasebe, K., Nishita, N., and Kato, K. (2014). Highly
available primary-backup mechanism for internet ser-
vices with optimistic consensus. In IEEE Third Inter-
national Workshop on Cloud Computing Interclouds,
Multiclouds, Federations, and Interoperability, pages
410–416.
Hasebe, K., Yamatozaki, K., Sugiki, A., and Kato, K.
(2011). Self-stabilizing passive replication for inter-
net service platforms. In 4th IFIP International Con-
ference on New Technologies, Mobility and Security.
Odersky, M., Spoon, L., , and Venners, B. (2008). Program-
ming in Scala. Artima.
Schneider, F. B. (1990). Implementing fault-tolerant ser-
vices using the state machine approach: A tutorial.
ACM Computing Surveys, 22(4):299–319.
Stodden, D. (2007). Semi-active workload replication and
live migration with paravirtual machines. In Xen Sum-
mit, Spring 2007.
Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service
557