Project

SATiSFy

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.

Partners

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

Sponsors

Bundesministerium für Bildung und Forschung

16KIS0821K

Bundesministerium für Bildung und Forschung

Share project:

Contact Person

Keyfacts

Downloads

Publications about the project

Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

To the publication
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

To the publication
Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler

In: Stefan Conrad, Paul Molitor (editor). IT - information technology (IT) DE GRUYTER OLDENBOURG 2019.

To the publication

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