Timely Validation of Safey and Security Requirements in Autonomous Vehicles

Timely Validation of Safey and Security Requirements in Autonomous Vehicles

  • Duration:

The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security requirements can be specified uniformly for a heterogeneous and redundant multi-component system on both hardware and software level, and be validated even before the final integration test.

A key challenge for autonomous driving is to ensure the safety and security of all parties. This applies to both the protection of the environment from a malfunction of the vehicle (safety) as well as the protection of the vehicle against unauthorized manipulation from outside (security). Both aspects are not independent of each other, they are often closely interlinked: manipulations of the vehicle can lead to the failure of individual components and thus to the vehicle's malfunction; conversely, errors that occur in program components make it possible for the attacker to carry out manipulations of the vehicle. As part of the BMBF project SATiSFy, the Bremen site (CPS) is working on methods and techniques in order to be able to collect and formally validate safety and security requirements at the hardware as well as the software level, even before the final system integration. A framework for safety and security architectures is developed in order to be able to check these during development time and at system runtime. Existing security architectures are modified and integrated in such a way that, in the overall context of the framework, by making use of formal arguments and composition a sufficient statement about the achieved security, resilience or the risks against intentional attacks and unintentional actions becomes possible.


  • Concept Engineering GmbH
  • HOOD GmbH
  • Kasper & Oswald GmbH
  • Robert Bosch GmbH
  • Universität Tübingen
  • Volkswagen AG


Federal Ministry of Education and Research (BMBF)


Federal Ministry of Education and Research (BMBF)

Publications about the project

Rhea Rinaldo, Dieter Hutter

In: Maria Chiara Leva, Edoardo Patelli, Luca Podofillini, Simon Wilson (editor). 32nd European Safety and Reliability Conference. European Safety and Reliability Conference (ESREL-2022) August 28-September 1 Dublin Ireland Research Publishing Singapore 2022.

To the publication
Rolf Drechsler, Mehran Goli

In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021) January 18-21 Tokyo Japan 2021.

To the publication
Christopher Metz, Mehran Goli, Rolf Drechsler

In: Proceedings of SLOHA Workshop 2021. System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA-2021) located at Design, Automation and Test in Europe Conference (DATE) February 5-5 Grenoble France 2021.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz