{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:41:54Z","timestamp":1742942514901,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031567759"},{"type":"electronic","value":"9783031567766"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-56776-6_5","type":"book-chapter","created":{"date-parts":[[2024,3,23]],"date-time":"2024-03-23T16:01:44Z","timestamp":1711209704000},"page":"49-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Continuous Assurance Case Creation for\u00a0ADS with\u00a0the\u00a0Evidential Tool Bus"],"prefix":"10.1007","author":[{"given":"Lev","family":"Sorokin","sequence":"first","affiliation":[]},{"given":"Radouane","family":"Bouchekir","sequence":"additional","affiliation":[]},{"given":"Tewodros A.","family":"Beyene","sequence":"additional","affiliation":[]},{"given":"Brian Hsuan-Cheng","family":"Liao","sequence":"additional","affiliation":[]},{"given":"Adam","family":"Molin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,24]]},"reference":[{"key":"5_CR1","unstructured":"CppCheck. https:\/\/github.com\/danmar\/cppcheck"},{"key":"5_CR2","unstructured":"Infer. https:\/\/fbinfer.com\/"},{"key":"5_CR3","unstructured":"Prescan. https:\/\/plm.sw.siemens.com\/en-US\/simcenter\/autonomous-vehicle-solutions\/prescan\/"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Mateis, C., Nesterini, E., Ni\u010dkovi\u0107, D.: Mining hyperproperties using temporal logics. ACM Trans. Embed. Comput. Syst. 22(5s) (2023). https:\/\/doi.org\/10.1145\/3609394","DOI":"10.1145\/3609394"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-031-46002-9_15","volume-title":"Bridging the Gap Between AI and Reality","author":"S Bensalem","year":"2024","unstructured":"Bensalem, S., et al.: Continuous engineering for trustworthy learning-enabled autonomous systems. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality, pp. 256\u2013278. Springer Nature Switzerland, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_15"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Safety and Reliability, vol. 20, pp. 34\u201342. Taylor & Francis (2000)","DOI":"10.1080\/09617353.2000.11690698"},{"key":"5_CR7","unstructured":"Bosch: automated valet parking. https:\/\/www.bosch-mobility.com\/de\/loesungen\/parken\/automated-valet-parking\/"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1, 146\u2013166 (1989)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-35873-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Cruanes","year":"2013","unstructured":"Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool integration with the evidential tool bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275\u2013294. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_18"},{"issue":"3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s10515-017-0230-5","volume":"25","author":"E Denney","year":"2018","unstructured":"Denney, E., Pai, G.: Tool support for assurance case development. Autom. Softw. Eng. 25(3), 435\u2013499 (2018)","journal-title":"Autom. Softw. Eng."},{"key":"5_CR11","unstructured":"Esen, H., Liao, B.H.C.: Simulation-based safety assurance for an AVP system incorporating learning-enabled components (2023)"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A new approach to creating clear safety arguments. In: Dale, C., Anderson, T. (eds.) Advances in Systems Safety, pp. 3\u201323. Springer, London (2011). https:\/\/doi.org\/10.1007\/978-0-85729-133-2_1","DOI":"10.1007\/978-0-85729-133-2_1"},{"key":"5_CR13","unstructured":"Hawkins, R., Paterson, C., Picardi, C., Jia, Y., Calinescu, R., Habli, I.: Guidance on the assurance of machine learning in autonomous systems (AMLAS) (2021)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-030-55583-2_6","volume-title":"Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops","author":"R Kaur","year":"2020","unstructured":"Kaur, R., Ivanov, R., Cleaveland, M., Sokolsky, O., Lee, I.: Assurance case patterns for cyber-physical systems with deep neural networks. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12235, pp. 82\u201397. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55583-2_6"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Liao, B.H., Cheng, C., Esen, H., Knoll, A.: Are transformers more robust? towards exact robustness verification for transformers. In: SAFECOMP 2023, vol. 14181, pp. 89\u2013103 (2023)","DOI":"10.1007\/978-3-031-40923-3_8"},{"key":"5_CR16","unstructured":"Ramakrishna, S., Hartsell, C., Dubey, A., Pal, P.P., Karsai, G.: A methodology for automating assurance case generation. CoRR abs\/2003.05388 (2020), https:\/\/arxiv.org\/abs\/2003.05388"},{"key":"5_CR17","unstructured":"Ruess, H., Shankar, N.: Evidential transactions with cyberlogic (2023)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-55583-2_29","volume-title":"Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops","author":"G Schwalbe","year":"2020","unstructured":"Schwalbe, G., Knie, B., S\u00e4mann, T., Dobberphul, T., Gauerhof, L., Raafatnia, S., Rocco, V.: Structuring the safety argumentation for deep neural network based perception in automotive applications. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12235, pp. 383\u2013394. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55583-2_29"},{"key":"5_CR19","unstructured":"Shankar, N., et al.: Descert: design for certification (2022)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Sorokin, L., Munaro, T., Safin, D., Liao, B.H.C., Molin, A.: OpenSBT: a modular framework for search-based testing of automated driving systems. In: Tool Demonstration Track ICSE 2024","DOI":"10.1145\/3639478.3640027"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Tonk, A., Boussif, A., Beugin, J., Collart-Dutilleul, S.: Towards a specified operational design domain for a safe remote driving of trains. In: Proceedings of the 31st European Safety and Reliability Conference, Angers, France, pp. 19\u201323 (2021)","DOI":"10.3850\/978-981-18-2016-8_504-cd"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Warg, F., Blom, H., Borg, J., Johansson, R.: Continuous deployment for dependable systems with continuous assurance cases. In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 318\u2013325 (2019). https:\/\/doi.org\/10.1109\/ISSREW.2019.00091","DOI":"10.1109\/ISSREW.2019.00091"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-030-55583-2_28","volume-title":"Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops","author":"E Wozniak","year":"2020","unstructured":"Wozniak, E., C\u00e2rlan, C., Acar-Celik, E., Putzer, H.J.: A safety case pattern for systems with machine learning components. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12235, pp. 370\u2013382. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55583-2_28"}],"container-title":["Communications in Computer and Information Science","Dependable Computing \u2013 EDCC 2024 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56776-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T22:54:45Z","timestamp":1731624885000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56776-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031567759","9783031567766"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56776-6_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"24 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EDCC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Dependable Computing Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"edcc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/trust-edcc2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}