Skip to Main content Skip to Navigation
Reports

Cyberphysical Constructs and Concepts for Fully Automated Networked Vehicles

Abstract : Human lives are at stake in networked systems of automated vehicles. Drawing from mature domains where life/safety critical cyberphysical systems have already been deployed as well as from various scientific disciplines, we introduce the SPEC (Safety, Privacy, Efficiency, Cybersecurity) problem which arises in self-organizing and self-healing networks of fully automated terrestrial vehicles, and CMX functionalities intended for vehicular onboard systems. CM stands for Coordinated Mobility, X stands for S, P, E and C. The CMX framework encompasses cyberphysical constructs (cells, cohorts) endowed with proven properties, onboard proactive security modules, unfalsifiable cyberphysical levels, protocols and distributed algorithms for timed-bounded inter-vehicular communications, reliable message dissemination, trusted explicit agreements/coordination, and privacy preserving options that insulate passengers from illegitimate internal cyber-surveillance and external eavesdropping and tracking. We establish inter alia that safety and privacy can be obtained jointly, by design. The focus of this report is on SE properties. Notably, we show how to achieve theoretical absolute safety (0 fatalities and 0 severe injuries in rear-end collisions and pileups) and highest efficiency (smallest safe inter-vehicular gaps) jointly, by design, in spontaneous cohorts of vehicles. Results conveyed in this report shall open new opportunities for innovative research and development of high societal impact.
Document type :
Reports
Complete list of metadata

Cited literature [93 references]  Display  Hide  Download

https://hal.inria.fr/hal-02318242
Contributor : Gérard Le Lann <>
Submitted on : Wednesday, October 16, 2019 - 5:26:23 PM
Last modification on : Friday, October 18, 2019 - 1:22:11 AM
Long-term archiving on: : Friday, January 17, 2020 - 5:11:28 PM

File

RR-9297.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02318242, version 1

Collections

Citation

Gérard Le Lann. Cyberphysical Constructs and Concepts for Fully Automated Networked Vehicles. [Research Report] RR-9297, INRIA Paris-Rocquencourt. 2019. ⟨hal-02318242⟩

Share

Metrics

Record views

372

Files downloads

675