{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:43Z","timestamp":1750220743767,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:00:00Z","timestamp":1604275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,2]]},"DOI":"10.1145\/3400302.3415760","type":"proceedings-article","created":{"date-parts":[[2020,12,18]],"date-time":"2020-12-18T01:20:55Z","timestamp":1608254455000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["EDA for autonomous behavior assurance"],"prefix":"10.1145","author":[{"given":"Selma","family":"Saidi","sequence":"first","affiliation":[{"name":"Technical University Dortmund, Dortmund, Germany"}]},{"given":"Dirk","family":"Ziegenbein","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"University of Southern California"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[{"name":"Technical University Braunschweig, Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"2018","article-title":"Road vehicles - Functional safety","volume":"26262","year":"2018","unstructured":"2018 . Road vehicles - Functional safety , ISO 26262 : 2018 . 2018. Road vehicles - Functional safety, ISO 26262:2018.","journal-title":"ISO"},{"key":"e_1_3_2_1_2_1","first-page":"2019","article-title":"Road vehicles - Safety of the intended functionality","volume":"21448","year":"2019","unstructured":"2019 . Road vehicles - Safety of the intended functionality , ISO\/PAS 21448 : 2019 . 2019. Road vehicles - Safety of the intended functionality, ISO\/PAS 21448:2019.","journal-title":"ISO\/PAS"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888910000202"},{"key":"e_1_3_2_1_4_1","volume-title":"SOCA: Domain Analysis for Highly Automated Driving Systems. In 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE.","author":"Butz Martin","year":"2020","unstructured":"Martin Butz , Christian Heinzemann , Martin Herrmann , Jens Oehlerking , Michael Rittel , Nadja Schalm , and Dirk Ziegenbein . 2020 . SOCA: Domain Analysis for Highly Automated Driving Systems. In 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE. Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, and Dirk Ziegenbein. 2020. SOCA: Domain Analysis for Highly Automated Driving Systems. In 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE."},{"key":"e_1_3_2_1_5_1","unstructured":"Defense Advanced Research Projects Agency (DARPA). 2017. Broad Agency Announcement (HR001117S0045): Assured Autonomy.  Defense Advanced Research Projects Agency (DARPA). 2017. Broad Agency Announcement (HR001117S0045): Assured Autonomy."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2020.2990784"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_8_1","unstructured":"Lawrence G. Shattuck. 2015. Transitioning to Autonomy:A Human Systems Integration Perspective. url: https:\/\/human-factors.arc.nasa.gov\/workshop\/autonomy\/download\/presentations\/Shaddock20.pdf.  Lawrence G. Shattuck. 2015. Transitioning to Autonomy:A Human Systems Integration Perspective. url: https:\/\/human-factors.arc.nasa.gov\/workshop\/autonomy\/download\/presentations\/Shaddock20.pdf."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2858023"},{"volume-title":"Formalising Traffic Rules for Accountability of Autonomous Vehicles. In 2015 IEEE 18th International Conference on Intelligent Transportation Systems. 1658--1665","author":"Rizaldi A.","key":"e_1_3_2_1_10_1","unstructured":"A. Rizaldi and M. Althoff . 2015 . Formalising Traffic Rules for Accountability of Autonomous Vehicles. In 2015 IEEE 18th International Conference on Intelligent Transportation Systems. 1658--1665 . A. Rizaldi and M. Althoff. 2015. Formalising Traffic Rules for Accountability of Autonomous Vehicles. In 2015 IEEE 18th International Conference on Intelligent Transportation Systems. 1658--1665."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"volume-title":"Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)","author":"Rouff Christopher","key":"e_1_3_2_1_12_1","unstructured":"Christopher Rouff . 2007. Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering) . Springer-Verlag , Berlin, Heidelberg . Christopher Rouff. 2007. Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering). Springer-Verlag, Berlin, Heidelberg."}],"event":{"name":"ICCAD '20: IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE CS"],"location":"Virtual Event USA","acronym":"ICCAD '20"},"container-title":["Proceedings of the 39th International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415760","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3400302.3415760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:42Z","timestamp":1750199922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415760"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,2]]},"references-count":12,"alternative-id":["10.1145\/3400302.3415760","10.1145\/3400302"],"URL":"https:\/\/doi.org\/10.1145\/3400302.3415760","relation":{},"subject":[],"published":{"date-parts":[[2020,11,2]]},"assertion":[{"value":"2020-12-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}