On the Power of Cohorts -- Multipoint Protocols for Fast and Reliable Safety-Critical Communications in Intelligent Vehicular Networks

We report on recent findings related to safety-critical V2V multipoint communications in ad hoc networks of fully automated vehicles, in the presence of communication failures. Neither classical failure assumptions nor multipoint protocols at the core of existing communication standards can be considered, since they do not meet the high reliability and strict timeliness requirements set for safety-critical scenarios. We introduce a novel unbounded omission failure model, the concept of proxy sets which builds on the cohort construct, and Zebra, a suite of geocast, convergecast, and multicast protocols specifically designed for safety-critical 1-hop multipoint communications. Analytical expressions of worst-case termination time bounds are given for each Zebra protocol, which is mandatory with safety requirements. These results have a number of practical implications, which are discussed. They should be of interest to safety authorities and to the transportation industry involved in future deployments of intelligent vehicular networks.

[1]  Idit Keidar,et al.  Impossibility Results and Lower Bounds for Consensus under Link Failures , 2008, SIAM J. Comput..

[2]  André Schiper,et al.  Reliable Broadcast in Wireless Mobile Ad Hoc Networks , 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

[3]  Ram Ramanathan,et al.  Ad hoc networking with directional antennas: a complete system solution , 2005, IEEE J. Sel. Areas Commun..

[4]  Maria Kihl,et al.  Inter-vehicle communication systems: a survey , 2008, IEEE Communications Surveys & Tutorials.

[5]  Suzanne Sloan,et al.  An Approach to Communications Security for a Communications Data Delivery System for V2V/V2I Safety: Technical Description and Identification of Policy and Institutional Issues , 2011 .

[6]  Nitin H. Vaidya,et al.  Geocasting in mobile ad hoc networks: location-based multicast algorithms , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[7]  Sandeep K. S. Gupta,et al.  On tree-based convergecasting in wireless sensor networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[8]  Anis Laouiti,et al.  Vehicle Ad Hoc networks: applications and related technical issues , 2008, IEEE Communications Surveys & Tutorials.

[9]  Ivan Stojmenovic,et al.  Acknowledgment-Based Broadcast Protocol for Reliable and Efficient Data Dissemination in Vehicular Ad Hoc Networks , 2012, IEEE Transactions on Mobile Computing.

[10]  Gérard Le Lann,et al.  Integrated Safety and Efficiency in Intelligent Vehicular Networks: Issues and Novel Constructs , 2012 .

[11]  Nitin H. Vaidya,et al.  Reliable broadcast in radio networks: the bounded collision case , 2006, PODC '06.

[12]  Maxim Raya,et al.  Securing Vehicular Networks , 2006, INFOCOM 2006.

[13]  John Rushby,et al.  Formal Methods and the Certification of Critical Systems , 2004 .

[14]  Gérard Le Lann Cohorts and groups for safe and efficient autonomous driving on highways , 2011, 2011 IEEE Vehicular Networking Conference (VNC).

[15]  Raja Sengupta,et al.  Vehicle-to-vehicle safety messaging in DSRC , 2004, VANET '04.

[16]  Gérard Le Lann,et al.  A protocol and correctness proofs for real-time high-performance broadcast networks , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[17]  Panagiotis Papadimitratos,et al.  SECURING VEHICULAR COMMUNICATIONS , 2006, IEEE Wireless Communications.

[18]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[19]  Utz Roedig,et al.  A Survey of MAC Protocols for Mission-Critical Applications in Wireless Sensor Networks , 2012, IEEE Communications Surveys & Tutorials.