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.
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].
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project
C. Quadri;A. Galdeman;
2024
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
acsos_foreseen.pdf
accesso riservato
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
297.29 kB
Formato
Adobe PDF
|
297.29 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
Formal_Methods_for_Attack_Detection_in_Autonomous_Driving_Systems_The_FORESEEN_Project.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
437.81 kB
Formato
Adobe PDF
|
437.81 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
