Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project
Contributo in Atti di convegno
Data di Pubblicazione:
2024
Citazione:
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project / C. Bernardeschi, G. Lettieri, A. Vivani, A. Bechini, A. Vecchio, F. Rossi, C. Quadri, A. Galdeman, A. Fagiolini, S. Pedone, A. Santone, V. Nardone, F. Mercaldo, S. Correra, G. Varriano - In: 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)[s.l] : Institute of Electrical and Electronics Engineers, 2024 Sep 16. - ISBN 979-8-3503-8976-0. - pp. 176-177 (( convegno IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) tenutosi a Aarhus nel 2024 [10.1109/acsos-c63493.2024.00055].
Abstract:
This work presents the methodology of the FORESEEN project for detecting cyber-attacks in autonomous vehicular networks. The methodology exploits co-simulation to generate the system's execution traces and formal methods to derive simple tests from traces that can be run for online monitoring services.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
Cyber-physical Systems; cybersecurity; digital-twin; formal methods
Elenco autori:
C. Bernardeschi, G. Lettieri, A. Vivani, A. Bechini, A. Vecchio, F. Rossi, C. Quadri, A. Galdeman, A. Fagiolini, S. Pedone, A. Santone, V. Nardone, F. Mercaldo, S. Correra, G. Varriano
Link alla scheda completa:
Titolo del libro:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)