Programmierabstraktionen für cyber-physische Systeme ((01) C01)

• Fachliche Zuordnung: Theoretische Informatik ; Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Projekt C1 stellt Programmierabstraktionen bereit, die es erlauben, die Wirkung von CPS-Anwendungen auf die physische Welt aus Implementierungssicht zu verstehen. Wir integrieren dafür Stream-basierte Monitoring-Sprachen in Systemmodelle und bringen abstraktionsbasierte Synthese und Stream-basierte Implementierungen zusammen, und wir entwickeln verifizierte Compiler fürs Monitoring, welche ein hohes Maß an Vertrauen in das erfasste Verhalten und Anforderungen auf Systemebene wie etwa Privatheit garantieren. Wir entwickeln dazu immersive Benutzungsschnittstellen und nutzen kontrafaktische Analysen für immersive Was-wäre-wenn-Betrachtungen, kombiniert mit Kontrollstrategien, die auf Techniken zur Visualisierung von Datenströmen aufbauen.

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