TY - CHAP A1 - Bucaioni, Alessio A1 - Di Salle, Amleto A1 - Iovino, Ludovico A1 - Kugele, Stefan A1 - Dajsuren, Yanja T1 - Joint Workshop on Model-Driven Engineering for Software Architecture (MDE4SA) and International Workshop on Automotive System/Software Architectures (WASA) T2 - Proceedings: IEEE 20th International Conference on Software Architecture Companion UR - https://doi.org/10.1109/ICSA-C57050.2023.00059 Y1 - 2023 UR - https://doi.org/10.1109/ICSA-C57050.2023.00059 SN - 978-1-6654-6459-8 SN - 2768-4288 SP - 246 EP - 247 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Petrovska, Ana A1 - Hutzelmann, Thomas A1 - Kugele, Stefan T1 - A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications T2 - SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing UR - https://doi.org/10.1145/3555776.3577665 KW - self-adaptive systems KW - theoretical framework KW - minimum requirements KW - formalisation KW - architectural implication Y1 - 2023 UR - https://doi.org/10.1145/3555776.3577665 SN - 978-1-4503-9517-5 SP - 1440 EP - 1449 PB - ACM CY - New York ER - TY - CHAP A1 - Kugele, Stefan A1 - Grunske, Lars ED - Engels, Gregor ED - Hebig, Regina ED - Tichy, Matthias T1 - 20th Workshop on Automotive Software Engineering (ASE’23) T2 - Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik N2 - Software-based systems play an increasingly important role and enable most innovations in modern cars. This workshop will address various topics related to automotive software development. The participants will discuss appropriate methods, techniques, and tools needed to address the most current challenges for researchers and practitioners. KW - Automotive KW - Software Engineering KW - Workshop Y1 - 2023 UR - https://dl.gi.de/items/a826d18c-1633-4dc8-8efe-e745f26e66ce UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-32168 SN - 978-3-88579-726-5 SP - 137 EP - 138 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Kugele, Stefan A1 - Wotawa, Franz ED - Rabiser, Rick ED - Wimmer, Manuel ED - Groher, Iris ED - Wortmann, Andreas ED - Wiesmayr, Bianca T1 - 21st Workshop on Automotive Software Engineering (ASE’24) T2 - Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik UR - https://doi.org/10.18420/sw2024_55 Y1 - 2024 UR - https://doi.org/10.18420/sw2024_55 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-46297 SN - 978-3-88579-737-1 SP - 165 EP - 166 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Rathod, Vishakha A1 - Cebulla, Thomas A1 - Kugele, Stefan ED - Schneider, Kurt ED - Dalpiaz, Fabiano ED - Horkoff, Jennifer T1 - Traceability Evaluation in Requirements Engineering According to Automotive SPICE T2 - Proceedings: 31st IEEE International Requirements Engineering Conference: RE 2023 UR - https://doi.org/10.1109/RE57278.2023.00030 KW - Traceability Evaluation Tool KW - Dependency Tree Visualisation KW - Automotive SPICE KW - Requirements Engineering Y1 - 2023 UR - https://doi.org/10.1109/RE57278.2023.00030 SN - 979-8-3503-2689-5 SN - 2332-6441 SP - 223 EP - 232 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Ramic, Amra A1 - Kugele, Stefan T1 - Simulation-based Support for Semi-automated Automotive Safety Analysis T2 - 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) UR - https://doi.org/10.1109/ITSC57777.2023.10422688 Y1 - 2024 UR - https://doi.org/10.1109/ITSC57777.2023.10422688 SN - 979-8-3503-9946-2 SP - 1787 EP - 1794 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Nair, Saasha A1 - Shafaei, Sina A1 - Kugele, Stefan A1 - Osman, Mohd Hafeez A1 - Knoll, Alois ED - Espinoza, Huáscar ED - ÓhÉigeartaigh, Seán S. ED - Huang, Xiaowei ED - Hernández-Orallo, José ED - Castillo-Effen, Mauricio T1 - Monitoring Safety of Autonomous Vehicles with Crash Prediction Network T2 - Proceedings of the AAAI Workshop on Artificial Intelligence Safety 2019, co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI 2019) Y1 - 2019 UR - https://ceur-ws.org/Vol-2301/ PB - RWTH Aachen CY - Aachen 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 - Kugele, Stefan A1 - Marmsoler, Diego A1 - Mata, Núria A1 - Werther, Kai T1 - Verification of component architectures using mode-based contracts T2 - 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) UR - https://doi.org/10.1109/MEMCOD.2016.7797758 KW - Contracts KW - Cognition KW - Cost accounting KW - Concrete KW - Computer architecture KW - Complexity theory KW - Context modeling Y1 - 2016 UR - https://doi.org/10.1109/MEMCOD.2016.7797758 SN - 978-1-5090-2791-0 SP - 133 EP - 142 PB - IEEE CY - Piscataway ER - TY - JOUR A1 - Kugele, Stefan A1 - Obergfell, Philipp A1 - Sax, Eric T1 - Model-based resource analysis and synthesis of service-oriented automotive software architectures JF - Software and Systems Modeling N2 - Context Automotive software architectures describe distributed functionality by an interaction of software components. One drawback of today’s architectures is their strong integration into the onboard communication network based on predefined dependencies at design time. The idea is to reduce this rigid integration and technological dependencies. To this end, service-oriented architecture offers a suitable methodology since network communication is dynamically established at run-time. Aim We target to provide a methodology for analysing hardware resources and synthesising automotive service-oriented architectures based on platform-independent service models. Subsequently, we focus on transforming these models into a platform-specific architecture realisation process following AUTOSAR Adaptive. Approach For the platform-independent part, we apply the concepts of design space exploration and simulation to analyse and synthesise deployment configurations, i. e., mapping services to hardware resources at an early development stage. We refine these configurations to AUTOSAR Adaptive software architecture models representing the necessary input for a subsequent implementation process for the platform-specific part. Result We present deployment configurations that are optimal for the usage of a given set of computing resources currently under consideration for our next generation of E/E architecture. We also provide simulation results that demonstrate the ability of these configurations to meet the run time requirements. Both results helped us to decide whether a particular configuration can be implemented. As a possible software toolchain for this purpose, we finally provide a prototype. Conclusion The use of models and their analysis are proper means to get there, but the quality and speed of development must also be considered. UR - https://doi.org/10.1007/s10270-021-00896-9 KW - Service-oriented architecture KW - Real-time behaviour KW - Model-based design KW - Automotive architectures Y1 - 2021 UR - https://doi.org/10.1007/s10270-021-00896-9 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-11098 SN - 1619-1374 VL - 20 IS - 6 SP - 1945 EP - 1975 PB - Springer CY - Berlin 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 - TY - CHAP A1 - Kugele, Stefan A1 - Obergfell, Philipp A1 - Sax, Eric ED - Grunske, Lars ED - Siegmund, J. ED - Vogelsang, A. T1 - Model-based resource analysis and synthesis of service-oriented automotive software architectures T2 - Software Engineering 2022 N2 - This summary refers to the paper Model-based resource analysis and synthesis of serviceoriented automotive software architectures [KOS21]. This paper has been published in the Journal on Software and Systems Modeling (SoSyM) in September 2021. UR - https://doi.org/10.18420/se2022-ws-017 KW - Automotive KW - Service-oriented architecture KW - Real-time behaviour KW - Model-based design Y1 - 2022 UR - https://doi.org/10.18420/se2022-ws-017 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-19500 SN - 978-3-88579-714-2 SP - 55 EP - 56 PB - Gesellschaft für Informatik CY - Bonn 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 T1 - Applying Concept-Based Models for Enhanced Safety Argumentation T2 - Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024) UR - https://doi.org/10.1109/ISSRE62328.2024.00034 Y1 - 2024 UR - https://doi.org/10.1109/ISSRE62328.2024.00034 SN - 979-8-3503-5388-4 SP - 272 EP - 283 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Kugele, Stefan A1 - Schreyer, Lorenz A1 - Lamprecht, Martin ED - Galster, Matthias ED - Scandurra, Patrizia ED - Mikkonen, Tommi ED - Antonino, Pablo Oliveira ED - Nakagawa, Elisa Yumi ED - Navarro, Elena T1 - Cause-Effect Chain-Based Diagnosis of Automotive Onboard Energy Systems T2 - Software Architecture: 18th European Conference, ECSA 2024 Luxembourg City, Luxembourg, September 3–6, 2024 Proceedings UR - https://doi.org/10.1007/978-3-031-70797-1_7 Y1 - 2024 UR - https://doi.org/10.1007/978-3-031-70797-1_7 SN - 978-3-031-70797-1 SN - 978-3-031-70796-4 SP - 105 EP - 120 PB - Springer CY - Cham ER -