Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management
复制标题
DOI：
10.1109/smartcomp.2017.7946999
复制
发表时间：
2017-05
期刊：
影响因子：
--
通讯作者：
Bowen Zheng;Chung-Wei Lin;Hengyi Liang;Shin'ichi Shiraishi;Wenchao Li;Qi Zhu
中科院分区：
文献类型：
--
作者：
Bowen Zheng;Chung-Wei Lin;Hengyi Liang;Shin'ichi Shiraishi;Wenchao Li;Qi Zhu
随着自动驾驶和车辆通信技术的快速发展，智能路口管理在提高交通效率方面展现出巨大的潜力。在一个典型的智能路口，路口管理器与自动驾驶车辆进行无线通信并安排它们通过路口。然而，以往的系统设计没有解决由于网络拥塞或安全攻击可能导致的通信延迟问题，并且可能导致系统不安全或出现死锁。在这项工作中，我们提出了一种用于智能路口管理的容忍延迟协议，并开发了一个建模、模拟和验证框架来分析该协议的安全性、活性和性能。实验证明了我们提出的协议相对于传统交通灯控制的优势，更重要的是，证明了使用该框架解决车辆网络应用中的定时（延迟）问题的重要性和有效性。这项工作是朝着为实际车辆网络应用建立一个全面的考虑延迟的设计和验证框架迈出的第一步。
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.