Programming Abstractions for Cyber-Physical Systems ((01) C01)

• Subject Area: Theoretical Computer Science ; Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing
• Term: since 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Project C1 provides programming abstractions enabling perspicuity at the implementation level for CPS applications acting on the physical world. We will integrate stream-based monitoring languages with system models, bringing together abstraction-based synthesis and stream-based implementations. To improve trust in monitored data as well as to satisfy requirements at inspection-time, we will develop a verifying compiler for monitoring, enabling us to provide high confidence in captured behaviours, and to guarantee system-level requirements such as privacy. We develop immersive user interfaces for inspection and human oversight, leveraging counterfactual analysis for immersive what-if-analysis, combined with mission-level strategies that build on stream visualisation techniques.

• 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. Bernd Finkbeiner; Professor Dr. Stefan Gumhold; Professor Dr. Rupak Majumdar