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 - 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 - 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 - 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 - 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 -