Logic-Based Perspicuous Run-Time Supervision ((10) A04)

• Subject Area: Theoretical Computer Science ; Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing ; Data Management, Data-Intensive Systems, Computer Science Methods in Business Informatics
• Term: from 2019 to 2022
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

This project investigates perspicuous supervision in a read data–analyse–react loop (RAR loop) carried out several times per second within a device, such as an engine control unit. Our vision is a supervisor implemented by logical rules, where (i) the declarative representation and logical reasoning provides explications, turning what nowadays is a black box into a perspicuous system; (ii) testing can be replaced by automatic verification; and (iii) the verified clauses can be deployed within the RAR loop. To these ends, we will investigate the combination of first-order logic fragments representing control aspects with arithmetic theories representing abstractions of physical system behaviour.

• 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. Christof Fetzer; Professor Dr. Markus Krötzsch; Professor Dr. Christoph Weidenbach