{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:23:47Z","timestamp":1773840227455,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"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":[[2024,9,22]]},"DOI":"10.1145\/3652620.3687815","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"720-724","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation of Automotive OTA Updates Using Assurance Cases"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-0032-5376","authenticated-orcid":false,"given":"Ali","family":"Raeisdanaei","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1150-5704","authenticated-orcid":false,"given":"Logan","family":"Murphy","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2429-4958","authenticated-orcid":false,"given":"Alessio","family":"Di Sandro","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6526-2544","authenticated-orcid":false,"given":"Mehrnoosh","family":"Askarpour","sequence":"additional","affiliation":[{"name":"General Motors, Markham, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2611-8670","authenticated-orcid":false,"given":"Torin","family":"Viger","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6301-3517","authenticated-orcid":false,"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Feature-oriented software product lines","author":"Apel Sven","unstructured":"Sven Apel, Don Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-oriented software product lines. Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99130-6_12"},{"key":"e_1_3_2_1_3_1","volume-title":"Northrop","author":"Clements Paul","year":"2002","unstructured":"Paul Clements and Linda M. Northrop. 2002. Software product lines - practices and patterns. Addison-Wesley, Boston, USA."},{"key":"e_1_3_2_1_4_1","volume-title":"Software Architecture: 5th European Conference, ECSA 2011, Essen, Germany, September 13--16, 2011. Proceedings 5. Springer, 114--129","author":"D\u00edaz Jessica","year":"2011","unstructured":"Jessica D\u00edaz, Jennifer P\u00e9rez, Juan Garbajosa, and Alexander L Wolf. 2011. Change impact analysis in product-line architectures. In Software Architecture: 5th European Conference, ECSA 2011, Essen, Germany, September 13--16, 2011. Proceedings 5. Springer, 114--129."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2013.2295285"},{"key":"e_1_3_2_1_6_1","unstructured":"Assurance Case Working Group. last accessed on 6\/4\/2024. GSN Community Standard. https:\/\/www.goalstructuringnotation.info\/.."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3176879"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.02.021"},{"key":"e_1_3_2_1_9_1","volume-title":"Road vehicles - Functional safety","unstructured":"ISO26262. 2018. Road vehicles - Functional safety. International Organization for Standardization, Geneva, Switzerland. https:\/\/www.iso.org\/standard\/43464.html"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11121860"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976792"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110892"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.11.1096"},{"key":"e_1_3_2_1_14_1","volume-title":"2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 6--13","author":"Mahmood Shahid","year":"2020","unstructured":"Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, and Siraj A Shaikh. 2020. A model-based security testing approach for automotive over-the-air updates. In 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 6--13."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER58687.2023.00030"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102781"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of iFM '24","author":"Murphy L.","unstructured":"L. Murphy, T. Viger, A. Di Sandro, and M. Chechik. 2024. PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. In Proc. of iFM '24."},{"key":"e_1_3_2_1_18_1","unstructured":"Globe Newswire. 2021-11-11. Automotive Over-The-Air (OTA) Updates Market worth USD 14.47 billion by 2030 registering a CAGR of 18.72% - Report by Market Research Future (MRFR). https:\/\/www.globenewswire.com\/news-release\/2021\/11\/11\/2332367\/0\/en\/Automotive-Over-The-Air-OTA-Updates-Market-worth-USD-14-47-billion-by-2030-registering-a-CAGR-of-18-72-Report-by-Market-Research-Future-MRFR.html"},{"key":"e_1_3_2_1_20_1","volume-title":"Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. European journal of control 18, 3","author":"Sangiovanni-Vincentelli Alberto","year":"2012","unstructured":"Alberto Sangiovanni-Vincentelli, Werner Damm, and Roberto Passerone. 2012. Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. European journal of control 18, 3 (2012), 217--238."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00023"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83903-1_9"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS Companion '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687815","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3687815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":21,"alternative-id":["10.1145\/3652620.3687815","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3687815","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}