{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T01:09:29Z","timestamp":1779325769070,"version":"3.51.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032012401","type":"print"},{"value":"9783032012418","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-01241-8_14","type":"book-chapter","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T09:37:05Z","timestamp":1755769025000},"page":"209-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Balancing the\u00a0Risks and\u00a0Benefits of\u00a0Using Large Language Models to\u00a0Support Assurance Case Development"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9493-7969","authenticated-orcid":false,"given":"Simon","family":"Diemert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erin","family":"Cyffka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naweed","family":"Anwari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivia","family":"Foster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torin","family":"Viger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Millet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey","family":"Joyce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"key":"14_CR1","unstructured":"Association for the Advancement of Medical Instrumentation: Medical device safety assurance case guidance (2019)"},{"key":"14_CR2","unstructured":"Assurance Case Working Group: Goal Structuring Notation Community Standard (Version 3). Tech. rep, Safety Critical Systems Club (2021)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bender, E.M., Gebru, T., McMillan-Major, A., Shmitchell, S.: On the dangers of stochastic parrots: can language models be too big? In: Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, pp. 610\u2013623. Association for Computing Machinery (2021)","DOI":"10.1145\/3442188.3445922"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Redmill, F., Anderson, T. (eds) Industrial Perspectives on System Safety. Springer, London (1998). https:\/\/doi.org\/10.1007\/978-1-4471-1534-2_14","DOI":"10.1007\/978-1-4471-1534-2_14"},{"key":"14_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2025.103288","volume":"244","author":"Z Chen","year":"2025","unstructured":"Chen, Z., Deng, Y., Du, W.: Trusta: reasoning about assurance cases with formal methods and large language models. Sci. Comput. Program. 244, 103288 (2025)","journal-title":"Sci. Comput. Program."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Daw, Z., Beecher, S., Holloway, M., Graydon, M.: Overarching properties as means of compliance: an industrial case study. In: 2021 IEEE\/AIAA 40th Digital Avionics Systems Conference (DASC), pp. 1\u201310 (2021)","DOI":"10.1109\/DASC52595.2021.9594298"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Fenn, J., Hawkins, R., Nicholson, M.: A new approach to creating clear operational safety arguments. In: Ceccarelli, A., Trapp, M., Bondavalli, A., Schoitsch, E., Gallina, B., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, pp. 227\u2013238. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-68738-9_17","DOI":"10.1007\/978-3-031-68738-9_17"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Ghahremani, E., Joyce, J., Lechner, S.: Avoiding Confirmation bias in a safety management system (SMS). In: 2024 Integrated Communications, Navigation and Surveillance Conference (ICNS), pp. 1\u201311 (2024)","DOI":"10.1109\/ICNS60906.2024.10550620"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Gohar, U., Hunter, M.C., Lutz, R.R., Cohen, M.B.: CoDefeater: using llms to find defeaters in assurance cases. In: Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, pp. 2262\u20132267. ASE \u201924, Association for Computing Machinery (2024)","DOI":"10.1145\/3691620.3695296"},{"key":"14_CR10","unstructured":"Goodenough, J.B., Weinstock, C.B., Klein, A.Z.: Eliminative Argumentation: A Basis for Arguing Confidence in System Properties. Tech. rep, Software Engineering Institute (2015)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Graydon, P.J.: The many conflicting visions of \u2018Safety Case\u2019. In: 47th International Conference on Dependable Systems and Networks Workshops, pp. 103\u2013104 (2017)","DOI":"10.1109\/DSN-W.2017.12"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Hobbs, C., Diemert, S., Joyce, J.: Driving the development process from the safety case. In: Safe AI Systems. Safety-Critical Systems Club, Bristol, UK (2024)","DOI":"10.65391\/r1913"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Holloway, C.M.: The Friendly Argument Notation (FAN): 2023 Version. Tech. Rep. NASA\/TM-20230004423, National Aeronautics and Space Administration (2023)","DOI":"10.64631\/YBSR9761"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Hua, W., et al.: TrustAgent: towards Safe and Trustworthy LLM-based Agents (2024). http:\/\/arxiv.org\/abs\/2402.01586","DOI":"10.18653\/v1\/2024.findings-emnlp.585"},{"key":"14_CR15","unstructured":"International Organization for Standardization: ISO\/PAS 8800:2024 Road vehicles \u2013 Safety and artificial intelligence (2024)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Ji, Z., et al.: Survey of hallucination in natural language generation. ACM Comput. Surv. 55(12), 248:1\u2013248:38 (2023)","DOI":"10.1145\/3571730"},{"key":"14_CR17","unstructured":"Kelly, T.P.: Arguing safety - A Systematic Approach to Safety Case Management. Ph.D. thesis, University of York (1998)"},{"key":"14_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2025.112353","volume":"222","author":"O Odu","year":"2025","unstructured":"Odu, O., Belle, A.B., Wang, S., Kpodjedo, S., Lethbridge, T.C., Hemmati, H.: Automatic instantiation of assurance cases from patterns using large language models. J. Syst. Softw. 222, 112353 (2025)","journal-title":"J. Syst. Softw."},{"key":"14_CR19","unstructured":"Odu, O., Beltr\u00e1n, D.M., Guti\u00e9rrez, E.B., Belle, A.B., Sherafat, M.: SmartGSN: a generative AI-powered online tool for the management of assurance cases (2024). http:\/\/arxiv.org\/abs\/2410.16675"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.ssci.2016.03.001","volume":"88","author":"A de Ruijter","year":"2016","unstructured":"de Ruijter, A., Guldenmund, F.: The bowtie method: a review. Saf. Sci. 88, 211\u2013218 (2016)","journal-title":"Saf. Sci."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Shahandashti, K.K., et al.: Using GPT-4 turbo to automatically identify defeaters in assurance cases. In: 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW), pp. 46\u201356 (2024)","DOI":"10.1109\/REW61692.2024.00011"},{"key":"14_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2024.124653","volume":"255","author":"M Sivakumar","year":"2024","unstructured":"Sivakumar, M., Belle, A.B., Shan, J., Khakzad Shahandashti, K.: Prompting GPT-4 to support automatic safety case generation. Expert Syst. Appl. 255, 124653 (2024)","journal-title":"Expert Syst. Appl."},{"key":"14_CR23","doi-asserted-by":"publisher","unstructured":"Varadarajan, S., et al.: Enabling theory-based continuous assurance: a coherent approach with semantics and automated synthesis. In: Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, pp. 173\u2013187. Springer Nature Switzerland, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-68738-9_13","DOI":"10.1007\/978-3-031-68738-9_13"},{"key":"14_CR24","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Advances in Neural Information Processing Systems. Long Beach, CA, USA (2017)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Viger, T., Murphy, L., Diemert, S., Menghi, C., Chechik, M.: Supporting change impact assessment with LLMs. In: 2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 203\u2013204 (2024)","DOI":"10.1109\/ISSREW63542.2024.00079"},{"key":"14_CR26","unstructured":"Viger, T., Murphy, L., Diemert, S., Menghi, C., Di, A., Chechik, M.: Supporting assurance case development using generative AI. In: SAFECOMP 2023, Position Papers (2023)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Viger, T., et al.: AI-Supported eliminative argumentation: practical experience generating defeaters to increase confidence in assurance cases. In: 2024 IEEE 35th International Symposium on Software Reliability Engineering, pp. 284\u2013294 (2024)","DOI":"10.1109\/ISSRE62328.2024.00035"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01241-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T01:00:38Z","timestamp":1779325238000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01241-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,22]]},"ISBN":["9783032012401","9783032012418"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01241-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,22]]},"assertion":[{"value":"22 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"All the authors are currently, or were recently, employed by Critical Systems Labs Inc., a Canadian firm that provides engineering services for high-risk systems and produces\n                      Socrates - Assurance Case Editor\n                      , a commercial product for preparing assurance cases.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stockholm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2025.se\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}