{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:53:57Z","timestamp":1757627637151,"version":"3.44.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032020178"},{"type":"electronic","value":"9783032020185"}],"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-02018-5_17","type":"book-chapter","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T10:15:55Z","timestamp":1755771355000},"page":"226-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Doubt in\u00a0Safety Claims is Inevitable: What is its Impact, What Can be Done About It?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3307-5159","authenticated-orcid":false,"given":"Peter","family":"Bishop","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4068-422X","authenticated-orcid":false,"given":"Andrey","family":"Povyakalo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4246-2866","authenticated-orcid":false,"given":"Lorenzo","family":"Strigini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"issue":"5","key":"17_CR1","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1109\/TSE.2010.67","volume":"37","author":"P Bishop","year":"2011","unstructured":"Bishop, P., Bloomfield, R., Littlewood, B., Povyakalo, A., Wright, D.: Toward a formalism for conservative claims about the dependability of software-based systems. IEEE Trans. Softw. Eng. 37(5), 708\u2013717 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-40793-2_11","volume-title":"Computer Safety, Reliability, and Security","author":"P Bishop","year":"2013","unstructured":"Bishop, P.: Does software have to be ultra reliable in safety critical systems? In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 118\u2013129. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_11"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bishop, P., Povyakalo, A., Strigini, L.: Bootstrapping confidence in future safety from past safe operation. In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE), pp. 97\u2013108. IEEE (2022)","DOI":"10.1109\/ISSRE55969.2022.00020"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bloomfield, R.E., Littlewood, B., Wright, D.: Confidence: its role in dependability cases for risk assessment. In: 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN\u201907), pp. 338\u2013346. IEEE (2007)","DOI":"10.1109\/DSN.2007.29"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/32.210303","volume":"19","author":"R Butler","year":"1993","unstructured":"Butler, R., Finelli, G.: The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans. Softw. Eng. 19(1), 3\u201312 (1993)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Chakherlou, R.A., Salako, K., Strigini, L.: Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 307\u2013312. IEEE (2022)","DOI":"10.1109\/ISSREW55968.2022.00085"},{"key":"17_CR7","doi-asserted-by":"publisher","unstructured":"Downer, J.: Rational Accidents: Reckoning with Catastrophic Technologies. The MIT Press, Cambridge (2024). https:\/\/doi.org\/10.7551\/mitpress\/8844.001.0001","DOI":"10.7551\/mitpress\/8844.001.0001"},{"key":"17_CR8","unstructured":"Federal Aviation Administration (FAA): Airworthiness Directives. https:\/\/www.faa.gov\/regulations_policies\/airworthiness_directives"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Fox, C., \u00dclk\u00fcmen, G.: Distinguishing two dimensions of uncertainty. In: Brun, W., Keren, G., Kirkeb\u00f8en, G., Montgomery, H. (eds.) Perspectives on Thinking, Judging, and Decision Making. Universitetsforlaget, Oslo (2011)","DOI":"10.2139\/ssrn.3695311"},{"key":"17_CR10","first-page":"182","volume":"94","author":"N Kalra","year":"2016","unstructured":"Kalra, N., Paddock, S.: Driving to safety: how many miles of driving would it take to demonstrate autonomous vehicle reliability? Transp. Res. Part A: Policy and Pract. 94, 182\u2013193 (2016)","journal-title":"Transp. Res. Part A: Policy and Pract."},{"key":"17_CR11","unstructured":"Koopman, P.: How Safe is Safe Enough? Measuring and Predicting Autonomous Vehicle Safety. Carnegie Mellon University (2022)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B Littlewood","year":"1993","unstructured":"Littlewood, B., Strigini, L.: Validation of ultra-high dependability for software-based systems. Commun. ACM 36, 69\u201380 (1993)","journal-title":"Commun. ACM"},{"key":"17_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2019.106752","volume":"197","author":"B Littlewood","year":"2020","unstructured":"Littlewood, B., Salako, K., Strigini, L., Zhao, X.: On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliabil. Eng. Syst. Saf. 197, 106752 (2020)","journal-title":"Reliabil. Eng. Syst. Saf."},{"key":"17_CR14","unstructured":"NTSB: In-flight Breakup Over the Atlantic Ocean, Trans World Airlines Flight 800. Aircraft Accident Report NTSB\/AAR-00\/03, National Transportation Safety Board (2000). https:\/\/www.ntsb.gov\/investigations\/AccidentReports\/Reports\/AAR0003.pdf"},{"key":"17_CR15","unstructured":"Requirements and Technical Concepts for Aviation (RTCA): DO-178C: Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Schleiss, P., Carella, F., Kurzidem, I.: Towards continuous safety assurance for autonomous systems. In: 2022 6th International Conference on System Reliability and Safety (ICSRS), pp. 457\u2013462 (2022)","DOI":"10.1109\/ICSRS56243.2022.10067323"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Shooman, M.: Avionics software problem occurrence rates. In: ISSRE\u201996, Seventh International Symposium on Software Reliability Engineering, pp. 55\u201364. IEEE Computer Society Press, White Plains (1996)","DOI":"10.1109\/ISSRE.1996.558695"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Spiegelhalter, D.J., Riesch, H.: Don\u2019t know, can\u2019t know: embracing deeper uncertainties when analysing risks. Phil. Trans. Math. Phys. Eng. Sci. 369, 4730\u201350 (2011)","DOI":"10.1098\/rsta.2011.0163"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-40793-2_10","volume-title":"Computer Safety, Reliability, and Security","author":"L Strigini","year":"2013","unstructured":"Strigini, L., Povyakalo, A.: Software fault-freeness and reliability predictions. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 106\u2013117. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_10"},{"key":"17_CR20","unstructured":"Regulator Task Force on Safety Critical\u00a0Software (TF SCS): Licensing of safety critical software for nuclear reactors - Common position of international nuclear regulators and authorised technical support organisations (2024 revision). https:\/\/www.onr.org.uk\/software.pdf"},{"key":"17_CR21","unstructured":"Wheatley, S., Sovacool, B., Sornette, D.: Of disasters and dragon kings: A statistical analysis of nuclear power incidents & accidents (2015). https:\/\/arxiv.org\/abs\/1504.02380"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02018-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:31:46Z","timestamp":1757478706000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02018-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,22]]},"ISBN":["9783032020178","9783032020185"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02018-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"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":"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"}}]}}