Überwachung dynamischer verlässlicher Systeme ((03) C03)

• Fachliche Zuordnung: Theoretische Informatik ; Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Künftige cyber-physische Systeme sollen im Betrieb adaptierbar sein, ohne dabei an Verlässlichkeit einzubüßen. Projekt C3 entwickelt Methoden und Konzepte, für den sofortigen Einsatz neuer Software-Varianten ohne Sicherheitsrisiko. Im Fokus stehen dabei Fragen, die sich aus der Interaktion mit der technischen Umgebung des Systems ergeben. Dies spiegelt neue gesetzliche Anforderungen zur Fernüberwachung autonomen Fahrens wider, sowie die Verfügbarkeit von Edge-Cloud-Diensten für erweiterte Funktionalität oder die kontinuierliche Zertifizierung neuer Softwarevarianten. Diesen Herausforderungen begegnet Projekt C3 durch neuartige Kombinationen von Techniken aus u.a. den Bereichen der Laufzeit-Überwachung und des Confidential Computings.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
• Antragstellende Institution: Universität des Saarlandes
• Teilprojektleiter: Professor Dr. Christof Fetzer; Professor Dr.-Ing. Holger Hermanns; Professor Dr. Jörg Hoffmann, bis 12/2022