Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper)

With the fast development of autonomous driving and vehicular communication technologies, intelligent transportation systems that are based on VANET (Vehicular Ad-Hoc Network) have shown great promise. For instance, through V2V (Vehicle-to-Vehicle) and V2I (Vehicle-to-Infrastructure) communication, intelligent intersections allow more fine-grained control of vehicle crossings and significantly enhance traffic efficiency. However, the performance and safety of these VANET-based systems could be seriously impaired by communication delays and packet losses, which may be caused by network congestion or by malicious attacks that target communication timing behavior. In this paper, we quantitatively model and analyze some of the timing and security issues in transportation networks with VANET-based intelligent intersections. In particular, we demonstrate how communication delays may affect the performance and safety of a single intersection and of multiple interconnected intersections, and present our delay-tolerant intersection management protocols. We also discuss the issues of such protocols when the vehicles are non-cooperative and how they may be addressed with game theory.

[1]  Yaser P. Fallah,et al.  Analysis of the coupling of communication network and safety application in cooperative collision warning systems , 2015, ICCPS.

[2]  T. Başar,et al.  Dynamic Noncooperative Game Theory , 1982 .

[3]  R. Aumann.  Correlated Equilibrium as an Expression of Bayesian Rationality Author ( s ) , 1987 .

[4]  Hesham A. Rakha,et al.  An Intersection Game-Theory-Based Traffic Control Algorithm in a Connected Vehicle Environment , 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

[5]  Satish V. Ukkusuri,et al.  A linear programming formulation for autonomous intersection control within a dynamic traffic assignment and connected vehicle environment , 2015 .

[6]  Kun-Chan Lan,et al.  Rapid Generation of Realistic Mobility Models for VANET , 2007, 2007 IEEE Wireless Communications and Networking Conference.

[7]  John B. Kenney,et al.  Dedicated Short-Range Communications (DSRC) Standards in the United States , 2011, Proceedings of the IEEE.

[8]  Gaurav Bhatia,et al.  STIP: Spatio-temporal intersection protocols for autonomous vehicles , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[9]  Lavy Libman,et al.  On the reliability of safety message broadcastin urban vehicular ad hoc networks , 2011, MSWiM '11.

[10]  Guoyuan Wu,et al.  Advanced intersection management for connected vehicles using a multi-agent systems approach , 2012, 2012 IEEE Intelligent Vehicles Symposium.

[11]  Panganamala Ramana Kumar,et al.  Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.

[12]  S. Yousefi,et al.  Vehicular Ad Hoc Networks (VANETs): Challenges and Perspectives , 2006, 2006 6th International Conference on ITS Telecommunications.

[13]  Tamer Başar,et al.  Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms , 2019, IEEE Transactions on Intelligent Transportation Systems.

[14]  Can Emre Koksal,et al.  How Vulnerable Is Vehicular Communication to Physical Layer Jamming Attacks? , 2015, 2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall).

[15]  Abdellah El Moudni,et al.  Modeling and controlling an isolated urban intersection based on cooperative vehicles , 2013 .

[16]  Bowen Zheng,et al.  Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management , 2017, 2017 IEEE International Conference on Smart Computing (SMARTCOMP).

[17]  Gaurav Bhatia,et al.  Intersection Management using Vehicular Networks , 2012 .

[18]  Tim Roughgarden,et al.  Algorithmic Game Theory , 2007 .

[19]  Xue Liu,et al.  Delay analysis and study of IEEE 802.11p based DSRC safety communication in a highway environment , 2013, 2013 Proceedings IEEE INFOCOM.

[20]  Gaurav Bhatia,et al.  Reliable intersection protocols using vehicular networks , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[21]  Sascha Ossowski,et al.  A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks , 2014, J. Artif. Intell. Res..

[22]  Lei Chen,et al.  Cooperative Intersection Management: A Survey , 2016, IEEE Transactions on Intelligent Transportation Systems.

[23]  Zhu Han,et al.  Game Theory in Wireless and Communication Networks: Theory, Models, and Applications , 2011 .

[24]  Rolf Naumann,et al.  Validation and simulation of a decentralized intersection collision avoidance algorithm , 1997, Proceedings of Conference on Intelligent Transportation Systems.

[25]  Peter Stone,et al.  A Multiagent Approach to Autonomous Intersection Management , 2008, J. Artif. Intell. Res..

[26]  Bowen Zheng,et al.  CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles , 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).