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 language | English |
|---|---|
| Article number | 8812663 |
| Pages (from-to) | 125022-125037 |
| Number of pages | 16 |
| Journal | IEEE Access |
| Volume | 7 |
| DOIs | |
| Publication status | Published - 2019 |
| MoE publication type | A1 Journal article-refereed |
Fingerprint
Keywords
- arrowhead framework
- autonomous vehicles
- Contract-based approach
- heterogeneous design
- security and safety co-design
Cite this
}
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 journal › Article › Scientific › peer-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 -