TY - INPR A1 - Petrovska, Ana A1 - Erjiage, Guan A1 - Kugele, Stefan T1 - Defining Self-adaptive Systems: A Systematic Literature Review N2 - In the last two decades, the popularity of self-adaptive systems in the field of software and systems engineering has drastically increased. However, despite the extensive work on self-adaptive systems, the literature still lacks a common agreement on the definition of these systems. To this day, the notion of self-adaptive systems is mainly used intuitively without a precise understanding of the terminology. Using terminology only by intuition does not suffice, especially in engineering and science, where a more rigorous definition is necessary. In this paper, we investigate the existing formal definitions of self-adaptive systems and how these systems are characterised across the literature. Additionally, we analyse and summarise the limitations of the existing formal definitions in order to understand why none of the existing formal definitions is used more broadly by the community. To achieve this, we have conducted a systematic literature review in which we have analysed over 1400 papers related to self-adaptive systems. Concretely, from an initial pool of 1493 papers, we have selected 314 relevant papers, which resulted in nine primary studies whose primary objective was to define self-adaptive systems formally. Our systematic review reveals that although there has been an increasing interest in self-adaptive systems over the years, there is a scarcity of efforts to define these systems formally. Finally, as part of this paper, based on the analysed primary studies, we also elicit requirements and set a foundation for a potential (formal) definition in the future that is accepted by the community on a broader range. UR - https://doi.org/10.48550/arXiv.2505.17798 Y1 - 2025 UR - https://doi.org/10.48550/arXiv.2505.17798 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-61576 PB - arXiv CY - Ithaca ER - TY - INPR A1 - Ramic, Amra A1 - Kugele, Stefan T1 - A Systematic Mapping Study on Software Architecture for AI-based Mobility Systems N2 - Background: Due to their diversity, complexity, and above all importance, safety-critical and dependable systems must be developed with special diligence. Criticality increases as these systems likely contain artificial intelligence (AI) components known for their uncertainty. As software and reference architectures form the backbone of any successful system, including safety-critical dependable systems with learning-enabled components, choosing the suitable architecture that guarantees safety despite uncertainties is of great eminence. Aim: We aim to provide the missing overview of all existing architectures, their contribution to safety, and their level of maturity in AI-based safety-critical systems. Method: To achieve this aim, we report a systematic mapping study. From a set of 1,639 primary studies, we selected 38 relevant studies dealing with safety assurance through software architecture in AI-based safety-critical systems. The selected studies were then examined using various criteria to answer the research questions and identify gaps in this area of research. Results: Our findings showed which architectures have been proposed and to what extent they have been implemented. Furthermore, we identified gaps in different application areas of those systems and explained these gaps with various arguments. Conclusion: As the AI trend continues to grow, the system complexity will inevitably increase, too. To ensure the lasting safety of the systems, we provide an overview of the state of the art, intending to identify best practices and research gaps and direct future research more focused. UR - https://doi.org/10.48550/arXiv.2506.01595 Y1 - 2025 UR - https://doi.org/10.48550/arXiv.2506.01595 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-61560 PB - arXiv CY - Ithaca ER - TY - CHAP A1 - Henß, Jörg A1 - Kugele, Stefan ED - Feichtinger, Kevin ED - Sonnleithner, Lisa ED - Hajiabadi, Hamideh T1 - 22nd Workshop on Automotive Software Engineering T2 - Software Engineering 2025 – Companion Proceedings N2 - Software-driven systems are becoming pivotal, underpinning the majority of innovations in contemporary automobiles. This workshop is poised to explore a plethora of topics pertinent to automotive software development. Attendees will engage in discourse on the most apt methodologies, techniques, and tools essential for navigating the foremost challenges faced by researchers and practitioners in the field. UR - https://doi.org/10.18420/se2025-ws-02 Y1 - 2025 UR - https://doi.org/10.18420/se2025-ws-02 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-57443 SN - 2944-7682 SP - 23 EP - 24 PB - Gesellschaft für Informatik CY - Bonn ER - TY - INPR A1 - Okumus, Fazli Faruk A1 - Ramic, Amra A1 - Kugele, Stefan T1 - A Systematic Mapping Study on Contract-based Software Design for Dependable Systems N2 - Background: Contract-based Design (CbD) is a valuable methodology for software design that allows annotation of code and architectural components with contracts, thereby enhancing clarity and reliability in software development. It establishes rules that outline the behaviour of software components and their interfaces and interactions. This modular approach enables the design process to be segmented into smaller, independently developed, tested, and verified system components, ultimately leading to more robust and dependable software. Aim: Despite the significance and well-established theoretical background of CbD, there is a need for a comprehensive systematic mapping study for reliable software systems. Our study provides an evidence-based overview of a method and demonstrates its practical feasibility. Method: To conduct this study, we systematically searched three different databases using specially formulated queries, which initially yielded 1,221 primary studies. After voting, we focused on 288 primary studies for more detailed analysis. Finally, a collaborative review allowed us to gather relevant evidence and information to address our research questions. Results: Our findings suggest potential avenues for future research trajectories in CbD, emphasising its role in improving the dependability of software systems. We highlight maturity levels across different domains and identify areas that may benefit from further research. Conclusion: Although CbD is a well-established software design approach, a more comprehensive literature review is needed to clarify its theoretical state about dependable systems. Our study addresses this gap by providing a detailed overview of CbD from various perspectives, identifying key gaps, and suggesting future research directions. UR - https://doi.org/10.48550/arXiv.2505.07542 Y1 - 2025 UR - https://doi.org/10.48550/arXiv.2505.07542 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-61552 PB - arXiv CY - Ithaca ER - TY - CHAP A1 - Okumus, Fazli Faruk A1 - Zacchi, João-Vitor A1 - Salfeld, Maike A1 - Schweizer, Markus A1 - Mata, Núria A1 - Kugele, Stefan ED - Andrikopoulos, Vasilios ED - Pautasso, Cesare ED - Ali, Nour ED - Soldani, Jacopo ED - Xu, Xiwei T1 - Runtime Monitor Synthesis for Automotive Software Architectures T2 - Software Architecture: 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings UR - https://doi.org/10.1007/978-3-032-02138-0_11 Y1 - 2025 UR - https://doi.org/10.1007/978-3-032-02138-0_11 SN - 978-3-032-02138-0 SP - 161 EP - 177 PB - Springer CY - Cham ER - TY - CHAP A1 - Costa de Araujo, João Paulo A1 - Balu, Balahari Vignesh A1 - Reichmann, Eik A1 - Kelly, Jessica A1 - Kugele, Stefan A1 - Mata, Núria A1 - Grunske, Lars ED - Koziolek, Anne ED - Lamprecht, Anna-Lena ED - Thüm, Thomas ED - Burger, Erik T1 - Applying Concept-Based Models for Enhanced Safety Argumentation – Summary T2 - Software Engineering 2025: Proceedings N2 - In this extended abstract we summarize our work on using Concept Bottleneck Models (CBMs) for an enhanced safety argumentation of vision-based Machine Learning (ML) perception components in safety critical systems. This paper has been published at the International Symposium on Software Reliability Engineering (ISRRE’24) UR - https://doi.org/10.18420/se2025-18 Y1 - 2025 UR - https://doi.org/10.18420/se2025-18 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-57457 SN - 2944-7682 SP - 65 EP - 66 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Kugele, Stefan A1 - Schreyer, Lorenz A1 - Lamprecht, Martin ED - Koziolek, Anne ED - Lamprecht, Anna-Lena ED - Thüm, Thomas ED - Burger, Erik T1 - Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems T2 - Software Engineering 2025: Proceedings N2 - This summary refers to the paper Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems [KSL24]. This paper has been published in the Proceedings of the 18th European Conference on Software Architecture, ECSA 2024 in September 2024. UR - https://doi.org/10.18420/se2025-36 Y1 - 2025 UR - https://doi.org/10.18420/se2025-36 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-57461 SN - 2944-7682 SP - 111 EP - 112 PB - Gesellschaft für Informatik CY - Bonn ER -