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 -