Verteiltes Wissen und Informationsfluss ((04) C04)

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