TY - GEN
T1 - Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management
AU - Zheng, Bowen
AU - Lin, Chung Wei
AU - Liang, Hengyi
AU - Shiraishi, Shinichi
AU - Li, Wenchao
AU - Zhu, Qi
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/6/12
Y1 - 2017/6/12
N2 - With the rapid advancement of autonomous driving and vehicular communication technology, intelligent intersection management has shown great promise in improving transportation efficiency. In a typical intelligent intersection, an intersection manager communicates with autonomous vehicles wirelessly and schedules their crossing of the intersection. Previous system designs, however, do not address the possible communication delays due to network congestion or security attacks, and could lead to unsafe or deadlocked systems. In this work, we propose a delay-tolerant protocol for intelligent intersection management, and develop a modeling, simulation and verification framework for analyzing the protocol's safety, liveness and performance. Experiments demonstrate the advantages of our proposed protocol over traditional traffic light control, and more importantly, demonstrate the importance and effectiveness of using this framework to address timing (delay) in vehicular network applications. This work is the first step towards a comprehensive delay-aware design and verification framework for practical vehicular network applications.
AB - With the rapid advancement of autonomous driving and vehicular communication technology, intelligent intersection management has shown great promise in improving transportation efficiency. In a typical intelligent intersection, an intersection manager communicates with autonomous vehicles wirelessly and schedules their crossing of the intersection. Previous system designs, however, do not address the possible communication delays due to network congestion or security attacks, and could lead to unsafe or deadlocked systems. In this work, we propose a delay-tolerant protocol for intelligent intersection management, and develop a modeling, simulation and verification framework for analyzing the protocol's safety, liveness and performance. Experiments demonstrate the advantages of our proposed protocol over traditional traffic light control, and more importantly, demonstrate the importance and effectiveness of using this framework to address timing (delay) in vehicular network applications. This work is the first step towards a comprehensive delay-aware design and verification framework for practical vehicular network applications.
UR - http://www.scopus.com/inward/record.url?scp=85022326186&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85022326186&partnerID=8YFLogxK
U2 - 10.1109/SMARTCOMP.2017.7946999
DO - 10.1109/SMARTCOMP.2017.7946999
M3 - Conference contribution
AN - SCOPUS:85022326186
T3 - 2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017
BT - 2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017
Y2 - 29 May 2017 through 31 May 2017
ER -