TY - INPR A1 - Gleirscher, Mario A1 - Kugele, Stefan T1 - Assurance of System Safety: A Survey of Design and Argument Patterns UR - https://doi.org/10.48550/arXiv.1902.05537 Y1 - 2019 UR - https://doi.org/10.48550/arXiv.1902.05537 PB - arXiv CY - Ithaca ER - TY - CHAP A1 - Kugele, Stefan A1 - Durisic, Darko A1 - Dajsuren, Yanja A1 - Staron, Miroslaw T1 - 7th International Workshop on Automotive System/Software Architecture (WASA 2021) T2 - Proceedings : IEEE 18th International Conference on Software Architecture Companion (ICSA-C 2021) UR - https://doi.org/10.1109/ICSA-C52384.2021.00035 Y1 - 2021 UR - https://doi.org/10.1109/ICSA-C52384.2021.00035 SN - 978-1-6654-3910-7 SP - 138 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Kugele, Stefan A1 - Petrovska, Ana A1 - Gerostathopoulos, Ilias ED - Biffl, Stefan ED - Navarro, Elena ED - Löwe, Welf ED - Sirjani, Marjan ED - Mirandola, Raffaela ED - Weyns, Danny T1 - Towards a Taxonomy of Autonomous Systems T2 - Software Architecture: 15th European Conference, ECSA 2021; Virtual Event, Sweden, September 13–17, 2021: Proceedings UR - https://doi.org/10.1007/978-3-030-86044-8_3 KW - Autonomous systems KW - Taxonomy KW - Architecture Y1 - 2021 UR - https://doi.org/10.1007/978-3-030-86044-8_3 SN - 978-3-030-86044-8 SN - 978-3-030-86043-1 SP - 37 EP - 45 PB - Springer CY - Cham ER - TY - CHAP A1 - Kugele, Stefan A1 - Segler, Christoph A1 - Hubregtsen, Thomas T1 - Architectural Patterns for Cross-Domain Personalised Automotive Functions T2 - Proceedings: IEEE 17th International Conference on Software Architecture (ICSA 2020) UR - https://doi.org/10.1109/ICSA47634.2020.00026 KW - architectural patterns KW - automotive KW - personalisation KW - intelligent functions KW - artificial intelligence Y1 - 2020 UR - https://doi.org/10.1109/ICSA47634.2020.00026 SN - 978-1-7281-4659-1 SP - 191 EP - 201 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Cebotari, Vadim A1 - Kugele, Stefan T1 - Playground for Early Automotive Service Architecture Design and Evaluation T2 - 2020 IEEE Intelligent Vehicles Symposium (IV) UR - https://doi.org/10.1109/IV47402.2020.9304633 KW - Measurement KW - Service-oriented architecture KW - Couplings KW - Automotive engineering KW - Runtime KW - Process control KW - Software Y1 - 2021 UR - https://doi.org/10.1109/IV47402.2020.9304633 SN - 978-1-7281-6673-5 SP - 1349 EP - 1356 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Osman, Mohd Hafeez A1 - Kugele, Stefan A1 - Shafaei, Sina T1 - Run-Time Safety Monitoring Framework for AI-Based Systems BT - Automated Driving Cases T2 - Proceedings: 2019 26th Asia-Pacific Software Engineering Conference, APSEC 2019 UR - https://doi.org/10.1109/APSEC48747.2019.00066 KW - System Safety KW - Run-time Safety Monitoring KW - Autonomous Driving KW - Artificial Intelligence Y1 - 2019 UR - https://doi.org/10.1109/APSEC48747.2019.00066 SN - 978-1-7281-4648-5 SN - 2640-0715 SP - 442 EP - 449 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Cebotari, Vadim A1 - Kugele, Stefan T1 - On the Nature of Automotive Service Architectures T2 - Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019 UR - https://doi.org/10.1109/ICSA-C.2019.00017 KW - service-oriented architecture KW - automotive KW - service classification KW - property model Y1 - 2019 UR - https://doi.org/10.1109/ICSA-C.2019.00017 SN - 978-1-7281-1876-5 SP - 53 EP - 60 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Obergfell, Philipp A1 - Kugele, Stefan A1 - Segler, Christoph A1 - Knoll, Alois A1 - Sax, Eric T1 - Continuous Software Engineering of Innovative Automotive Functions BT - an Industrial Perspective T2 - Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019 UR - https://doi.org/10.1109/ICSA-C.2019.00030 KW - automotive KW - agile KW - process KW - continuous integration KW - continuous delivery Y1 - 2019 UR - https://doi.org/10.1109/ICSA-C.2019.00030 SN - 978-1-7281-1876-5 SP - 127 EP - 128 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Segler, Christoph A1 - Kugele, Stefan A1 - Obergfell, Philipp A1 - Osman, Mohd Hafeez A1 - Shafaei, Sina A1 - Sax, Eric A1 - Knoll, Alois T1 - Evaluation of feature selection for anomaly detection in automotive E/E architectures T2 - Proceedings: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings: ICSE-Companion 2019 UR - https://doi.org/10.1109/ICSE-Companion.2019.00104 KW - feature selection KW - anomaly detection KW - automotive KW - E/E architecture Y1 - 2019 UR - https://doi.org/10.1109/ICSE-Companion.2019.00104 SN - 978-1-7281-1764-5 SN - 2574-1934 SP - 260 EP - 261 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Broy, Manfred T1 - Architecture as a Backbone for Safe DevOps in Automotive Systems T2 - 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) UR - https://doi.org/10.1109/ITSC55140.2022.9922097 KW - Encapsulation KW - Intelligent transportation systems KW - Automotive engineering Y1 - 2022 UR - https://doi.org/10.1109/ITSC55140.2022.9922097 SN - 978-1-6654-6880-0 SP - 4145 EP - 4150 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Shafaei, Sina A1 - Kugele, Stefan A1 - Osman, Mohd Hafeez A1 - Knoll, Alois ED - Gallina, Barbara ED - Skavhaug, Amund ED - Schoitsch, Erwin ED - Bitsch, Friedemann T1 - Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving T2 - Computer Safety, Reliability, and Security UR - https://doi.org/10.1007/978-3-319-99229-7_39 KW - artificial intelligence KW - uncertainty KW - safety Y1 - 2018 UR - https://doi.org/10.1007/978-3-319-99229-7_39 SN - 978-3-319-99228-0 SN - 978-3-319-99229-7 SN - 0302-9743 SN - 1611-3349 SP - 458 EP - 464 PB - Springer CY - Cham ER - TY - CHAP A1 - Shafaei, Sina A1 - Müller, Fabian A1 - Salzmann, Tim A1 - Hashemi Farzaneh, Morteza A1 - Kugele, Stefan A1 - Knoll, Alois T1 - Context Prediction Architectures in Next Generation of Intelligent Cars T2 - 2018 IEEE Intelligent Transportation Systems Conference UR - https://doi.org/10.1109/ITSC.2018.8569617 KW - Automobiles KW - Software KW - Automotive engineering KW - Computer architecture KW - Informatics KW - Context-aware services Y1 - 2018 UR - https://doi.org/10.1109/ITSC.2018.8569617 SN - 978-1-7281-0323-5 SP - 2923 EP - 2930 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Hettler, David A1 - Shafaei, Sina T1 - Elastic Service Provision for Intelligent Vehicle Functions T2 - 2018 IEEE Intelligent Transportation Systems Conference UR - https://doi.org/10.1109/ITSC.2018.8569374 KW - Containers KW - Cloud computing KW - Automotive engineering KW - Vehicles KW - Publish-subscribe KW - Middleware KW - Reliability Y1 - 2018 UR - https://doi.org/10.1109/ITSC.2018.8569374 SN - 978-1-7281-0323-5 SP - 3183 EP - 3190 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Hettler, David A1 - Peter, Jan T1 - Data-Centric Communication and Containerization for Future Automotive Software Architectures T2 - Proceedings: 2018 IEEE 15th International Conference on Software Architecture: ICSA 2018 UR - https://doi.org/10.1109/ICSA.2018.00016 KW - automotive SOA KW - data-centricity KW - containerization Y1 - 2018 UR - https://doi.org/10.1109/ICSA.2018.00016 SN - 978-1-5386-6398-1 SP - 65 EP - 74 PB - IEEE CY - Piscataway ER - TY - JOUR A1 - Gleirscher, Mario A1 - Kugele, Stefan A1 - Linker, Sven T1 - SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles JF - ACM SIGSOFT Software Engineering Notes UR - https://doi.org/10.1145/3282517.3302402 KW - autonomy KW - verification KW - control KW - safety KW - dependability KW - reliability Y1 - 2018 UR - https://doi.org/10.1145/3282517.3302402 SN - 0163-5948 VL - 43 IS - 4 SP - 45 EP - 47 PB - ACM CY - New York ER - TY - CHAP A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Langer, Boris A1 - Schallhart, Christian A1 - Veith, Helmut ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_1 KW - Carbon Footprint KW - Functional Safety KW - Execution Time Estimate KW - Functional Input KW - Product Data Model Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_1 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 1 EP - 2 PB - Springer CY - Berlin ER - TY - CHAP A1 - Haberl, Wolfgang A1 - Herrmannsdoerfer, Markus A1 - Kugele, Stefan A1 - Tautschnig, Michael A1 - Wechs, Martin ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Seamless Model-Driven Development Put into Practice T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_4 KW - Modeling Language KW - Embed System KW - Hardware Architecture KW - Electronic Control Unit KW - Object Management Group Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_4 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 18 EP - 32 PB - Springer CY - Berlin ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Tautschnig, Michael ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Timely Time Estimates T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_5 KW - Execution Time KW - Basic Block KW - Code Unit KW - Test Input KW - Target Platform Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_5 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 33 EP - 46 PB - Springer CY - Berlin ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan ED - Boness, Kenneth ED - Fernandes, João M. ED - Hall, Jon G. ED - Jorge Machado, Ricardo ED - Oberhauser, Roy T1 - Towards Resource Consumption-Aware Programming T2 - Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009 UR - https://doi.org/10.1109/ICSEA.2009.77 KW - Code Instrumentation KW - Embedded Systems KW - Execution Time Y1 - 2009 UR - https://doi.org/10.1109/ICSEA.2009.77 SN - 978-1-4244-4779-4 SP - 490 EP - 493 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Baumgarten, Uwe T1 - Reliable operating modes for distributed embedded systems T2 - Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops UR - https://doi.org/10.1109/MOMPES.2009.5069133 KW - Embedded system KW - Mathematical model KW - MATLAB KW - Distributed computing KW - Real time systems KW - Humans KW - Airplanes KW - Processor scheduling KW - Ignition KW - Hardware Y1 - 2009 UR - https://doi.org/10.1109/MOMPES.2009.5069133 SN - 978-1-4244-3721-4 SP - 11 EP - 21 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Haberl, Wolfgang A1 - Tautschnig, Michael A1 - Wechs, Martin ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Optimizing Automatic Deployment Using Non-functional Requirement Annotations T2 - Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings UR - https://doi.org/10.1007/978-3-540-88479-8_28 KW - Embed System KW - Task Allocation KW - Electronic Control Unit KW - Target Platform KW - Platform Model Y1 - 2008 UR - https://doi.org/10.1007/978-3-540-88479-8_28 SN - 978-3-540-88479-8 SN - 978-3-540-88478-1 SP - 400 EP - 414 PB - Springer CY - Berlin ER - TY - CHAP A1 - Kugele, Stefan A1 - Haberl, Wolfgang ED - Arabnia, Hamid R. ED - Reza, Hassan T1 - Mapping Data-Flow Dependencies onto Distributed Embedded Systems T2 - Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes KW - model-based development KW - data-flow graphs KW - embedded systems KW - distributed systems KW - code generation Y1 - 2008 SN - 1-60132-088-4 SP - 272 EP - 278 PB - CSREA Press ER - TY - CHAP A1 - Wang, Zhonglei A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Tautschnig, Michael T1 - Automatic generation of SystemC models from component-based designs for early design validation and performance analysis T2 - WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance UR - https://doi.org/10.1145/1383559.1383577 KW - COLA KW - Code Generation KW - Simulation KW - SystemC Y1 - 2008 UR - https://doi.org/10.1145/1383559.1383577 SN - 978-1-59593-873-2 SP - 139 EP - 143 PB - ACM CY - New York ER - TY - INPR A1 - Gleirscher, Mario A1 - Kugele, Stefan T1 - From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case UR - https://doi.org/10.48550/arXiv.1802.08327 KW - risk analysis KW - hazard mitigation KW - safe state KW - controller design KW - autonomous vehicle KW - automotive system KW - modeling KW - planning Y1 - 2018 UR - https://doi.org/10.48550/arXiv.1802.08327 PB - arXiv CY - Ithaca ER - TY - INPR A1 - Gleirscher, Mario A1 - Linker, Sven A1 - Kugele, Stefan T1 - SCAV’18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles N2 - This report summarizes the discussions, open issues, take-away messages, and conclusions of the 2nd SCAV workshop. UR - https://doi.org/10.48550/arXiv.1811.01774 KW - Autonomy KW - verification KW - control KW - safety KW - dependability KW - reliability Y1 - 2018 UR - https://doi.org/10.48550/arXiv.1811.01774 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-30024 PB - arXiv CY - Ithaca ER - TY - JOUR A1 - Gleirscher, Mario A1 - Kugele, Stefan A1 - Sprinkle, Jonathan T1 - Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017 JF - ACM SIGSOFT Software Engineering Notes UR - https://doi.org/10.1145/3127360.3127373 KW - system safety KW - automatic vehicle control KW - autonomy Y1 - 2017 UR - https://doi.org/10.1145/3127360.3127373 SN - 0163-5948 VL - 42 IS - 3 SP - 22 EP - 23 PB - ACM CY - New York ER - TY - CHAP A1 - Hashemi Farzaneh, Morteza A1 - Kugele, Stefan A1 - Knoll, Alois T1 - A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking T2 - 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation UR - https://doi.org/10.1109/ETFA.2017.8247599 Y1 - 2017 UR - https://doi.org/10.1109/ETFA.2017.8247599 SN - 978-1-5090-6505-9 SN - 1946-0759 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Cebotari, Vadim A1 - Gleirscher, Mario A1 - Hashemi Farzaneh, Morteza A1 - Segler, Christoph A1 - Shafaei, Sina A1 - Vögel, Hans-Jörg A1 - Bauer, Fridolin A1 - Knoll, Alois A1 - Marmsoler, Diego A1 - Michel, Hans-Ulrich ED - Eibl, Maximilian ED - Gaedke, Martin T1 - Research Challenges for a Future-Proof E/E Architecture: A Project Statement T2 - INFORMATIK 2017 UR - https://doi.org/10.18420/in2017_146 KW - automotive KW - safety assurance KW - service-oriented architectures KW - communication KW - timesensitive network KW - deep learning KW - machine learning KW - artificial intelligence Y1 - 2017 UR - https://doi.org/10.18420/in2017_146 SN - 978-3-88579-669-5 SP - 1463 EP - 1474 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Gleirscher, Mario A1 - Kugele, Stefan T1 - Defining Risk States in Autonomous Road Vehicles T2 - Proceedings: IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) UR - https://doi.org/10.1109/HASE.2017.14 KW - risk analysis KW - hazard mitigation KW - safe state KW - controller design KW - autonomous vehicle KW - automotive system Y1 - 2017 UR - https://doi.org/10.1109/HASE.2017.14 SN - 978-1-5090-4636-2 SN - 1530-2059 SP - 112 EP - 115 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Kugele, Stefan A1 - Obergfell, Philipp A1 - Broy, Manfred A1 - Creighton, Oliver A1 - Traub, Matthias A1 - Hopfensitz, Wolfgang T1 - On Service-Orientation for Automotive Software T2 - Proceedings: 2017 IEEE International Conference on Software Architecture (ICSA 2017) UR - https://doi.org/10.1109/ICSA.2017.20 KW - automotive KW - SOA KW - service-orientation KW - formal modeling Y1 - 2017 UR - https://doi.org/10.1109/ICSA.2017.20 SN - 978-1-5090-5729-0 SP - 193 EP - 202 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Gleirscher, Mario A1 - Kugele, Stefan ED - Barrett, Clark ED - Davies, Misty ED - Kahsai, Temesghen T1 - From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case T2 - NASA Formal Methods: 9th International Symposium, NFM 2017: Moffett Field, CA, USA, May 16-18, 2017: Proceedings UR - https://doi.org/10.1007/978-3-319-57288-8_23 KW - Risk analysis KW - Hazard mitigation KW - Safe state KW - Controller design KW - Autonomous vehicle KW - Automotive system KW - Modeling KW - Planning Y1 - 2017 UR - https://doi.org/10.1007/978-3-319-57288-8_23 SN - 978-3-319-57288-8 SN - 978-3-319-57287-1 SP - 310 EP - 326 PB - Springer CY - Cham ER - TY - CHAP A1 - Kugele, Stefan A1 - Antkowiak, Daniel T1 - Visualization of Trace Links and Change Impact Analysis T2 - Proceedings: 2016 IEEE 24th International Requirements Engineering Conference Workshops UR - https://doi.org/10.1109/REW.2016.039 KW - impact analysis KW - trace link visualization Y1 - 2016 UR - https://doi.org/10.1109/REW.2016.039 SN - 978-1-5090-3694-3 SP - 165 EP - 169 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Albers, Karsten A1 - Büker, Matthias A1 - Dieudonné, Laurent A1 - Hilbrich, Robert A1 - Igna, Georgeta A1 - Kugele, Stefan A1 - Kuhn, Thomas A1 - Rosinger, Maike A1 - Weber, Raphael ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - Optimal Deployment T2 - Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology UR - https://doi.org/10.1007/978-3-319-48003-9_9 Y1 - 2016 UR - https://doi.org/10.1007/978-3-319-48003-9_9 SN - 978-3-319-48003-9 SN - 978-3-319-83876-2 SN - 978-3-319-48002-2 SP - 145 EP - 168 PB - Springer CY - Cham ER - TY - CHAP A1 - Kugele, Stefan A1 - Pucea, Gheorghe A1 - Popa, Ramona A1 - Dieudonné, Laurent A1 - Eckardt, Horst T1 - On the deployment problem of embedded systems T2 - 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) UR - https://doi.org/10.1109/MEMCOD.2015.7340482 KW - Optimization KW - Hardware KW - Embedded systems KW - Safety KW - Aerospace electronics Y1 - 2015 UR - https://doi.org/10.1109/MEMCOD.2015.7340482 SN - 978-1-5090-0237-5 SP - 158 EP - 167 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Prehofer, Christian A1 - Schorp, Konstantin A1 - Kugele, Stefan A1 - Clarke, Daniel A1 - Duchon, Markus T1 - Towards a 3-tier architecture for connected vehicles T2 - 2014 International Conference on Connected Vehicles and Expo (ICCVE): Proceedings UR - https://doi.org/10.1109/ICCVE.2014.7297634 KW - Vehicles KW - Computer architecture KW - Connected vehicles KW - Real-time systems KW - Automotive engineering KW - Data integration KW - Frequency control Y1 - 2015 UR - https://doi.org/10.1109/ICCVE.2014.7297634 SN - 978-1-4799-6729-2 SN - 2378-1297 SP - 679 EP - 680 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Pucea, Gheorghe T1 - Model-based optimization of automotive E/E-architectures T2 - CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis UR - https://doi.org/10.1145/2593735.2593739 KW - model-based optimization KW - domain-specific languages KW - constraint satisfaction problem KW - automotive E/E-architecture Y1 - 2014 UR - https://doi.org/10.1145/2593735.2593739 SN - 978-1-4503-2847-0 SP - 18 EP - 29 PB - ACM CY - New York ER - TY - CHAP A1 - Gulden, Markus A1 - Kugele, Stefan T1 - A concept for generating simplified RESTful interfaces T2 - WWW '13 Companion: Proceedings of the 22nd International Conference on World Wide Web UR - https://doi.org/10.1145/2487788.2488181 KW - Data transfer object KW - domain-specific language KW - representational state transfer KW - service-orientated architecture Y1 - 2013 UR - https://doi.org/10.1145/2487788.2488181 SN - 978-1-4503-2038-2 SP - 1391 EP - 1398 PB - ACM CY - New York ER - TY - THES A1 - Kugele, Stefan T1 - Model-Based Development of Software-intensive Automotive Systems T2 - Modellbasierte Entwicklung von softwareintensiven Automotivesystemen KW - model-based development KW - automotive software KW - deployment Y1 - 2012 UR - https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 PB - Technische Universität München CY - München ER - TY - CHAP A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Biechele, Florian A1 - Mauersberger, Ralf ED - Eleftherakis, George ED - Hinchey, Mike ED - Holcombe, Mike T1 - A Configuration Approach for IMA Systems T2 - Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings UR - https://doi.org/10.1007/978-3-642-33826-7_14 KW - Schedule Algorithm KW - System Mode KW - Integration Area KW - Processor Utilisation KW - Hardware Component Y1 - 2012 UR - https://doi.org/10.1007/978-3-642-33826-7_14 SN - 978-3-642-33825-0 SN - 978-3-642-33826-7 SP - 203 EP - 217 PB - Springer CY - Berlin ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Langer, Boris A1 - Schallhart, Christian A1 - Tautschnig, Michael A1 - Veith, Helmut ED - Giannakopoulou, Dimitra ED - Orejas, Fernando T1 - Seamless Testing for Models and Code T2 - Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbrücken, Germany, March 26-April 3, 2011: Proceedings UR - https://doi.org/10.1007/978-3-642-19811-3_20 KW - Test Suite KW - Activity Diagram KW - Coverage Criterion KW - System Under Test KW - Test Case Generation Y1 - 2011 UR - https://doi.org/10.1007/978-3-642-19811-3_20 SN - 978-3-642-19810-6 SN - 978-3-642-19811-3 SP - 278 EP - 293 PB - Springer CY - Berlin ER - TY - CHAP A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Baumgarten, Uwe ED - Arabnia, Hamid R. ED - Solo, Ashu M. G. T1 - Model-Based Generation of Fault-Tolerant Embedded Systems T2 - Proceedings of the 2010 International Conference on Embedded Systems & Applications: ESA 2010 KW - fault tolerance KW - code generation KW - real time systems KW - road vehicles Y1 - 2010 SN - 1-601-32141-4 SN - 978-1-601-32141-1 SP - 136 EP - 142 PB - CSREA Press ER - 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 -