A methodology for the design of safety-compliant and secure communication of autonomous vehicles

Roberto Passerone (1) , Daniela Cancila (2) , Michele Albano (3) , Sebti Mouelhi (4) , Sandor Plosz (5) , Erkki Jantunen (6) , Anna Ryabokon (7) , Mohamed-Emine Laarouchi (2) , Csaba Hegedus (8) , Pal Varga (5)

1 UNITN - Università degli Studi di Trento = University of Trento
2 DSCIN (CEA, LIST) - Département Systèmes et Circuits Intégrés Numériques
3 AAU - Aalborg University [Denmark]
4 INSEEC - Institut des hautes études économiques et commerciales | School of Business and Economics
5 BME - Budapest University of Technology and Economics [Budapest]
6 VTT - VTT Technical Research Centre of Finland
7 TTTech Computertechnik AG
8 AITIA International (Entreprise)

The automotive industry is increasing its effort towards scientific and technological innovations regarding autonomous vehicles. The expectation is a reduction of road accidents, which are too often caused by human errors. Moreover, technological solutions, such as connected autonomous vehicle platoons, are expected to help humans in emergency situations. In this context, safety and security issues do not yet have a satisfactory answer. In this paper, we address the domain of secure communication among vehicles - especially the issues related to authentication and authorization of inter-vehicular signals and services carrying safety commands. We propose a novel design methodology, where we take a contract-based approach for specifying safety, and combine it in the design flow with the use of the Arrowhead Framework to support security. Furthermore, we present the results through a demo, which employs model-based design for software implementation and the physical realization on autonomous model cars.

Mots clés: Contract-based approach; arrowhead framework; security and safety co-design; autonomous vehicles; heterogeneous design

Domaines: Bibliothèque électronique [cs.DL]

Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sandor Plosz, et al.. A methodology for the design of safety-compliant and secure communication of autonomous vehicles. IEEE Access, 2019, 7, pp.125022-125037. ⟨10.1109/ACCESS.2019.2937453⟩. ⟨cea-02316817⟩