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