Safe Automated Driving on Highways – Beyond Today's Connected Autonomous Vehicles

Abstract : Safe automated driving rests on safety-critical (SC) inter-vehicular (IV) coordination. Safety criticality is defined unambiguously via the Bounded Move requirements. We show that today's autonomous vehicles and upcoming connected vehicles fail to meet these requirements by huge margins. We present a cyber-physical construct, IV communication protocols and IV agreement algorithms that achieve SC IV coordination in highway autonomic vehicular networks. Worst-case termination time bounds of protocols and algorithms are given, which allows for checking that the Bounded Move requirements are met. These solutions lay the ground for novel standards specifically aimed at safety. Interestingly, they also meet privacy requirements. Some open problems raised with automated driving are put into perspective.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [18 references]  Display  Hide  Download
Contributor : Gérard Le Lann <>
Submitted on : Thursday, October 5, 2017 - 11:27:02 AM
Last modification on : Thursday, April 26, 2018 - 10:28:03 AM
Document(s) archivé(s) le : Sunday, January 7, 2018 - 6:56:53 PM


CSDM 2017 final.pdf
Files produced by the author(s)


  • HAL Id : hal-01610957, version 1



Gérard Le Lann. Safe Automated Driving on Highways – Beyond Today's Connected Autonomous Vehicles. 8th Complex Systems Design & Management Conference “Towards smarter and more autonomous systems”, Dec 2017, Paris, France. ⟨hal-01610957⟩



Record views


Files downloads