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.