Project Details
TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
Subject Area
Computer Science, Systems and Electrical Engineering
Humanities
Social and Behavioural Sciences
Humanities
Social and Behavioural Sciences
Term
since 2019
Website
Homepage
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660
From autonomous vehicles to smart assisted living – increasingly, computer programs participate in actions and decisions that affect humans. However, the explosion of opportunities for software-driven innovations comes with an implosion of human opportunities to understand and control these innovations. The root of the problem is that contemporary IT- and AI-based systems do not have any built-in concepts to explicate their behaviour. They generate and propagate outcomes of computations, but are not meant to provide explications, justifications, or plausibilisations of the outcomes. They are not perspicuous. The Center for Perspicuous Computing, CPEC, takes up this challenge in a transregional collaborative research initiative. CPEC lays the scientific foundations for designing, analysing and interacting with computerised systems that explicate their functioning. We call them perspicuous systems, and our mission is to conduct foundational research on the seamless support for perspicuity across the entire system lifecycle, spanning design-time, run-time, and, in case of a malfunctioning or an optimisation effort, inspection-time. Our scientific approach puts a distinguished focus on formal design and analysis methods producing the necessary structures, in particular mathematical explications, to make systems understandable; on human-computer interaction, visualisation, and natural language processing methods required for humans to process these structures, in particular turning explications into human-understandable explanations; and on the deep integration across these areas, which is necessary to realise a holistic view of perspicuity, especially important for minimising risk associated with systems enhanced by artificial intelligence. With the development of a science of perspicuous computing the CPEC researchers are spearheading a movement towards building and reasoning about software-based systems that are understandable and predictable. As a result, CPEC is gradually enlarging its scope with regard to three interrelated research facets: 1) Deepening investigation of feedback loops within the system lifecycle, required to feed system analysis insights back into the design-time engineering, 2) Emphasising human-centred and psychological research regarding the human-in-the-loop, reflecting the need to investigate the interaction of perspicuous systems with various groups of human stakeholders, and 3) Interfacing to the societal dimension of perspicuity – society-in-the-loop – echoing the increasing number of regulatory requirements regarding perspicuity. CPEC research serves our society in its need to stay in well-informed control over the computerised systems we all interact with – it enables comprehension and control in a cyber-physical world.
DFG Programme
CRC/Transregios
Current projects
- 01 - Programming Abstractions for Cyber-Physical Systems (Project Heads Finkbeiner, Bernd ; Gumhold, Stefan ; Majumdar, Rupak )
- 02 - Composition and Abstraction with Explications (Project Heads Apel, Sven ; Baier, Christel ; Gaggl, Sarah Alice ; Hermanns, Holger )
- 03 - Supervision of Dynamic Dependable Systems (Project Heads Fetzer, Christof ; Hermanns, Holger ; Hoffmann, Jörg )
- 04 - Distributed Knowledge and Information Flow (Project Heads Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
- 06 - Fast, Safe, and Perspicuous Run-Time Planning (Project Heads Christakis, Maria ; Hein, Matthias ; Hoffmann, Jörg ; Valera, Isabel )
- 09 - Description Logic Explications (Project Heads Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
- 12 - Contextualised Actionable Explications (Project Heads Langer, Markus ; Valera, Isabel )
- 13 - Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication (Project Heads Baier, Christel ; Majumdar, Rupak ; Ouaknine, Joël )
- 14 - Interactive Exploration of Visual Models (Project Heads Baader, Franz ; Baier, Christel ; Dachselt, Raimund )
- 15 - Safe Handover in Mixed-Initiative Control (Project Heads Borgwardt, Stefan ; Demberg, Vera ; Hoffmann, Jörg ; Krüger, Antonio )
- 17 - Knowledge-Driven Inspection (Project Heads Apel, Sven ; Dachselt, Raimund ; Gaggl, Sarah Alice ; Krötzsch, Markus ; Krüger, Antonio )
- 18 - Immersive Analysis of Cyber-Physical Systems (Project Heads Dachselt, Raimund ; Gumhold, Stefan ; Hoffmann, Jörg )
- 19 - Cooperative User Interfaces as Rational Agents (Project Heads Demberg, Vera ; Feit, Anna Maria ; Hoffmann, Jörg )
- 20 - Perspicuity and Societal Risk (Project Heads Hermanns, Holger ; Lauber-Rönsberg, Anne )
- 21 - Central Tasks of the Collaborative Research Centre (Project Head Hermanns, Holger )
Completed projects
- 05 - Combining Program Analysis and Run-Time Monitoring (Project Heads Christakis, Maria ; Fetzer, Christof )
- 07 - Analysing and Explicating Dynamical and Hybrid Systems (Project Heads Baier, Christel ; Ouaknine, Joël )
- 08 - Probabilistic Causality and Explications (Project Heads Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
- 10 - Logic-Based Perspicuous Run-Time Supervision (Project Heads Fetzer, Christof ; Krötzsch, Markus ; Weidenbach, Christoph )
- 11 - Operational Explications of Classifier Predictions (Project Heads Gumhold, Stefan ; Hein, Matthias )
Applicant Institution
Universität des Saarlandes
Co-Applicant Institution
Technische Universität Dresden
Participating Institution
CISPA - Helmholtz-Zentrum für Informationssicherheit; Max-Planck-Institut für Softwaresysteme
Participating University
Technische Universität Wien
Spokespersons
Professor Dr.-Ing. Raimund Dachselt, since 1/2025; Professor Dr.-Ing. Holger Hermanns, until 12/2024