Supervision of Dynamic Dependable Systems ((03) C03)

• Subject Area: Theoretical Computer Science ; Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: since 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Future cyber-physical systems are expected to be adaptable in the field without sacrificing dependable operation. This project looks into ways to enable the rapid deployment of new software variants without inducing safety risks. In this context, we address challenges related to interactions with the technical environment the system is placed in. This echoes new legal requirements regarding remote human oversight for autonomous driving and also the availability of edge cloud services for extended functionality or for the continuous certification of new software variants. Project C3 will address these challenges by novel combinations of techniques from runtime monitoring and from confidential computing, together with advanced safeguarding mechanisms.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professor Dr. Christof Fetzer; Professor Dr.-Ing. Holger Hermanns; Professor Dr. Jörg Hoffmann, until 12/2022