@article{bde7ca7432be4e5eae6c82cbd9f97374,
title = "A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles",
abstract = "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.",
keywords = "arrowhead framework, autonomous vehicles, Contract-based approach, heterogeneous design, security and safety co-design",
author = "Roberto Passerone and Daniela Cancila and Michele Albano and Sebti Mouelhi and Sandor Plosz and Erkki Jantunen and Anna Ryabokon and Emine Laarouchi and Csaba Hegedus and Pal Varga",
note = "Funding Information: This work was supported in part by the EU ECSEL JU through the H2020 Framework Programme, within project JU (PRODUCTIVE 4.0, www.productive40.eu)—and its National co-funding schemes, under Grant 737459, and in part by the Higher Education Excellence Program of the Ministry of Human Capacities, Hungary, in the frame of Artificial Intelligence Research Area of Budapest University of Technology and Economics (BME FIKP-MI/SC). Funding Information: This work is supported by the Arrowhead Makes You Productive song, originally composed by Erkki Jantunen for this Funding Information: The research has received funding from the EU ECSEL JU under the H2020 Framework Programme, JU grant nr. 737459 (Productive4.0 project, www.productive40.eu). This Joint Undertaking receives support from the European Union{\textquoteright}s Horizon 2020 research and the participating national funding organizations, including the Finnish Funding Agency for Innovation Tekes. Publisher Copyright: {\textcopyright} 2013 IEEE. Copyright: Copyright 2019 Elsevier B.V., All rights reserved.",
year = "2019",
doi = "10.1109/ACCESS.2019.2937453",
language = "English",
volume = "7",
pages = "125022--125037",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
}