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
Lettieri G.
;Rossi F.;Santone A.;Nardone V.;Mercaldo F.;Correra S.;Varriano G.
2024-01-01
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 in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
