Distributed Knowledge and Information Flow ((04) C04)

Understanding and explicating the knowledge and information flow between distributed physical and digital components plays a fundamental role in the perspicuous design of cyber-physical systems. Project C4 focuses on knowledge and information flow for the design of distributed systems where the challenge lies in the required formal connection between low-level physical behaviour captured by real-valued signals and high-level discrete decision making formalised over Boolean interface variables. Project C4 will address this challenge by developing lazy algorithms which extract necessary behavioural (de)couplings and information flow characteristics to build small, human readable interfaces which explicate necessary behavioural knowledge and information flow.

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.-Ing. Raimund Dachselt, until 12/2022; Professor Dr. Bernd Finkbeiner; Professor Dr. Markus Krötzsch, until 12/2022; Dr.-Ing. Anne-Kathrin Schmuck, since 1/2023