A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sandor Plosz, Erkki Jantunen, Anna Ryabokon, Emine Laarouchi, Csaba Hegedus, Pal Varga

Research output: Contribution to journalArticleScientificpeer-review

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.

Original languageEnglish
Article number8812663
Pages (from-to)125022-125037
Number of pages16
JournalIEEE Access
Volume7
DOIs
Publication statusPublished - 2019
MoE publication typeA1 Journal article-refereed

Fingerprint

Highway accidents
Automotive industry
Authentication
Railroad cars
Innovation
Secure communication

Keywords

  • arrowhead framework
  • autonomous vehicles
  • Contract-based approach
  • heterogeneous design
  • security and safety co-design

Cite this

Passerone, R., Cancila, D., Albano, M., Mouelhi, S., Plosz, S., Jantunen, E., ... Varga, P. (2019). A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. IEEE Access, 7, 125022-125037. [8812663]. https://doi.org/10.1109/ACCESS.2019.2937453
Passerone, Roberto ; Cancila, Daniela ; Albano, Michele ; Mouelhi, Sebti ; Plosz, Sandor ; Jantunen, Erkki ; Ryabokon, Anna ; Laarouchi, Emine ; Hegedus, Csaba ; Varga, Pal. / A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. In: IEEE Access. 2019 ; Vol. 7. pp. 125022-125037.
@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",
year = "2019",
doi = "10.1109/ACCESS.2019.2937453",
language = "English",
volume = "7",
pages = "125022--125037",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "Institute of Electrical and Electronic Engineers IEEE",

}

Passerone, R, Cancila, D, Albano, M, Mouelhi, S, Plosz, S, Jantunen, E, Ryabokon, A, Laarouchi, E, Hegedus, C & Varga, P 2019, 'A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles', IEEE Access, vol. 7, 8812663, pp. 125022-125037. https://doi.org/10.1109/ACCESS.2019.2937453

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. / Passerone, Roberto; Cancila, Daniela; Albano, Michele; Mouelhi, Sebti; Plosz, Sandor; Jantunen, Erkki; Ryabokon, Anna; Laarouchi, Emine; Hegedus, Csaba; Varga, Pal.

In: IEEE Access, Vol. 7, 8812663, 2019, p. 125022-125037.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

AU - Passerone, Roberto

AU - Cancila, Daniela

AU - Albano, Michele

AU - Mouelhi, Sebti

AU - Plosz, Sandor

AU - Jantunen, Erkki

AU - Ryabokon, Anna

AU - Laarouchi, Emine

AU - Hegedus, Csaba

AU - Varga, Pal

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

KW - arrowhead framework

KW - autonomous vehicles

KW - Contract-based approach

KW - heterogeneous design

KW - security and safety co-design

UR - http://www.scopus.com/inward/record.url?scp=85072570975&partnerID=8YFLogxK

U2 - 10.1109/ACCESS.2019.2937453

DO - 10.1109/ACCESS.2019.2937453

M3 - Article

VL - 7

SP - 125022

EP - 125037

JO - IEEE Access

JF - IEEE Access

SN - 2169-3536

M1 - 8812663

ER -

Passerone R, Cancila D, Albano M, Mouelhi S, Plosz S, Jantunen E et al. A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. IEEE Access. 2019;7:125022-125037. 8812663. https://doi.org/10.1109/ACCESS.2019.2937453