Composition and Abstraction with Explications ((02) C02)

• Subject Area: Theoretical Computer Science ; Software Engineering and Programming Languages
• Term: since 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Project C2 harvests foundational advances on quantitative behavioural properties related to component suitability, putting in focus how formal and empirical approaches can be integrated towards a comprehensive and reliable understanding of quantitative system properties. We will concentrate on performance properties (like latency, execution time, energy consumption) and compositional reasoning at the level of features, i.e., where the characteristics of features are encapsulated in components. For this, Project C2 provides explications to identify limitations and to come to new conclusions regarding the influence of noise, uncertainty, configurability, and non-determinism, addressing feature interactions in formal and empirical models.

• 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.-Ing. Sven Apel, since 1/2023; Professorin Dr. Christel Baier; Dr. Sarah Alice Gaggl, until 12/2022; Professor Dr.-Ing. Holger Hermanns