Combining Program Analysis and Run-Time Monitoring ((05) C05)

• Subject Area: Software Engineering and Programming Languages ; Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2019 to 2022
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

This project aims to improve understandability of erroneous behaviour in cyber-physical systems using program analysis. Toward this, first, we will establish the fundamental techniques for leveraging concrete information from run-time monitoring of these software systems in order to predict failures with a fast static analysis. We will also investigate the degree of fault tolerance based on run-time speculation. Second, we will tune static analysers to cyber-physical software using run-time information, increasing the detection of true bugs and reducing false alarms, and improving the understandability of program analysis results to users through software-level explications for any detected code issues.

• 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: Professorin Dr. Maria Christakis; Professor Dr. Christof Fetzer