{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:41:43Z","timestamp":1725864103370},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458915"},{"type":"electronic","value":"9783319458922"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45892-2_1","type":"book-chapter","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T04:32:31Z","timestamp":1472099551000},"page":"3-12","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Assessing Safety Argumentation Confidence"],"prefix":"10.1007","author":[{"given":"Rui","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9mie","family":"Guiochet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Motet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"1_CR1","unstructured":"Ayoub, A., Chang, J., Sokolsky, O., Lee, I.: Assessing the overall sufficiency of safety arguments. In: 21st Safety-Critical Systems Symposium (SSS 2013), pp. 127\u2013144 (2013)"},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-1-4471-1534-2_14","volume-title":"Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998","author":"P Bishop","year":"1998","unstructured":"Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Redmill, F., Anderson, T. (eds.) Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998, pp. 194\u2013203. Springer, London (1998)"},{"issue":"1","key":"1_CR3","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.ress.2010.06.027","volume":"96","author":"L Cyra","year":"2011","unstructured":"Cyra, L., Gorski, J.: Support for argument structures review and assessment. Reliab. Eng. Syst. Safety 96(1), 26\u201337 (2011)","journal-title":"Reliab. Eng. Syst. Safety"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1214\/aoms\/1177699517","volume":"37","author":"AP Dempster","year":"1966","unstructured":"Dempster, A.P.: New methods for reasoning towards posterior distributions based on sample data. Ann. Math. Stat. 37, 355\u2013374 (1966)","journal-title":"Ann. Math. Stat."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Habli, I.: Towards measurement of confidence in safety cases. In: International Symposium on Empirical Software Engineering and Measurement (ESEM), pp. 380\u2013383. IEEE (2011)","DOI":"10.1109\/ESEM.2011.53"},{"key":"1_CR6","unstructured":"DO-178C\/ED-12C. Software considerations in airborne systems and equipment certification, RTCA\/EUROCAE (2011)"},{"key":"1_CR7","unstructured":"Graydon, P.J., Holloway, C.M.: An Investigation of Proposed Techniques for Quantifying Confidence in Assurance Arguments, 13 August 2016. http:\/\/ntrs.nasa.gov\/archive\/nasa\/casi.ntrs.nasa.gov\/20160006526.pdf"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-319-24255-2_23","volume-title":"Computer Safety, Reliability, and Security","author":"J Guiochet","year":"2015","unstructured":"Guiochet, J., Do Hoang, Q.A., Kaaniche, M.: A model for safety case confidence assessment. In: Koornneef, F., van Gulijk, V. (eds.) SAFECOMP 2015. LNCS, vol. 9337, pp. 313\u2013327. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-24255-2_23"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-85729-133-2_1","volume-title":"Advances in Systems Safety","author":"R Hawkins","year":"2011","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)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Arguing safety - a systematic approach to safety case management. Ph.D. thesis, Department of Computer Science, University of York (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"1_CR11","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation-a safety argument notation. In: Proceedings of the Dependable Systems and Networks (DSN) workshop on assurance cases (2004)"},{"key":"1_CR12","doi-asserted-by":"crossref","DOI":"10.1201\/b11667","volume-title":"Fundamentals of Dependable Computing for Software Engineers","author":"J Knight","year":"2012","unstructured":"Knight, J.: Fundamentals of Dependable Computing for Software Engineers. CRC Press, Boca Raton (2012)"},{"key":"1_CR13","unstructured":"Ledinot, E., Blanquart, J., Gassino, J., Ricque, B., Baufreton, P., Boulanger, J., Camus, J., Comar, C., Delseny, H., Qu\u00e9r\u00e9, P.: Perspectives on probabilistic assessment of systems and software. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS) (2016)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/11518655_47","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"D Mercier","year":"2005","unstructured":"Mercier, D., Quost, B., Den\u0153ux, T.: Contextual discounting of belief functions. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 552\u2013562. Springer, Heidelberg (2005)"},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence, vol. 1. Princeton University Press, Princeton (1976)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Wang, R., Guiochet, J., Motet, G., Sch\u00f6n, W.: D-S theory for argument confidence assessment. In: The 4th International Conference on Belief Functions, BELIEF 2016. Springer, Prague (2016). http:\/\/belief.utia.cz","DOI":"10.1007\/978-3-319-45559-4_20"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45892-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:42:55Z","timestamp":1657154575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45892-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458915","9783319458922"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45892-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}