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
