Composition and Abstraction with Explications ((02) C02)

项目C2收获了与组件适用性相关的定量行为特性的基础性进展，重点关注如何将正式和经验方法整合到对定量系统特性的全面和可靠的理解中。我们将专注于性能属性（如延迟，执行时间，能耗）和功能级别的组合推理，即，其中特征的特性被封装在组件中。为此，项目C2提供了解释，以确定限制，并得出新的结论，关于噪声，不确定性，可配置性和非确定性的影响，解决正式和经验模型中的功能交互。

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.