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 = "IEEE Institute of Electrical and Electronic Engineers",

    }

    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

    AN - SCOPUS:85072570975

    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