Dependable and Autonomous Cyber-Physical Systems
Autonomous, intelligent and distributed cyber-physical systems, such as autonomous vehicles or robots, are handling more and more safety-critical tasks in our daily lives. Reliable and correct behaviour at all times is therefore of particular importance for the success and acceptance of these systems.
In the research group "Dependable and Autonomous Cyber-Physical Systems" we develop new concepts, methods and technologies for the validation of such real-time systems. Starting with the identification, description and analysis of risks, through the development and validation of functional and technical safety concepts, to the test and analysis methods required for verification, we work out the obligations of proof required for the certification of these systems. Innovative methods for verification will ensure that the challenges associated with the increasing complexity and autonomy of these systems can be effectively met.