Verteiltes Wissen und Informationsfluss ((04) C04)

• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik ; Theoretische Informatik
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Das Nachvollziehen des Wissens- und Informationsflusses zwischen physischen und digitalen Komponenten spielt eine zentrale Rolle bei der Entwicklung von verstehbaren cyber-physischen Systemen. Projekt C4 fokussiert auf Wissens- und Informationsfluss bei der Entwicklung von verteilten Systemen. Die spezifische Herausforderung liegt dabei in der benötigten formalen Verbindung zwischen dem physischen Verhalten und den auf einer höheren Abstraktionsebene angesiedelten diskreten Entscheidungen. Projekt C4 wird dazu Algorithmen entwickeln, welche die notwendigen Verhaltens-(Ent-)Kopplungen und Informationsfluss-Charakteristiken bei Bedarf extrahieren, um damit verständliche Benutzerschnittstellen zu entwickeln, die das erforderliche Wissen bereitstellen.

• 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
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr.-Ing. Raimund Dachselt, bis 12/2022; Professor Dr. Bernd Finkbeiner; Professor Dr. Markus Krötzsch, bis 12/2022; Dr.-Ing. Anne-Kathrin Schmuck, seit 1/2023