Project Overview

Formal methods for attack detection in autonomous driving systems.

Autonomous driving systems are complex cyber-physical systems (CPS) that rely on connectivity and advanced driver-assistance technologies (Connected Autonomous Vehicles CAV). CAV systems perceive surrounding environment via sensors and actuators. The main objective of the project is the development of a formal-method based methodology with supported tools for the detection of sensor and actuator attacks in autonomous driving systems. While formal methods usually involve expensive computations, our methodology consists in using formal methods to generate simple tests that can be run online on limited resources available in a CAV. The results of FORESEEN will therefore enable on-line monitoring services development.

Project coordinator: Università di Pisa, Department of Information Engineering

UNIMI Unit Leader: Christian Quadri

Project website: https://foreseen.dii.unipi.it/

This study received funding from the European Union – Next-GenerationEU – National Recovery and Resilience Plan (NRRP) – MISSION 4 COMPONENT 2, INVESTMENT N. 1.1, CALL PRIN 2022 PNRR D.D. 1409 14-09-2022 – (FORESEEN) CUP N.P2022WYAEW