{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:18:47Z","timestamp":1726409927413},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999326"},{"type":"electronic","value":"9783319999333"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99933-3_2","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T08:33:39Z","timestamp":1535186019000},"page":"11-28","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Support of the Generation and Maintenance of Assurance Cases"],"prefix":"10.1007","author":[{"given":"Chung-Ling","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wuwei","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangyuan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"key":"2_CR1","volume-title":"Critical Code: Software Producibility for Defense","author":"National Research Council","year":"2010","unstructured":"National Research Council: Critical Code: Software Producibility for Defense. National Academies Press, Washington, D.C. (2010)"},{"key":"2_CR2","unstructured":"Organizaci\u00f3n Internacional de Normalizaci\u00f3n, ISO 26262: Road Vehicles: Functional Safety, ISO (2011)"},{"key":"2_CR3","unstructured":"US Food and Drug Administration (FDA): Guidance for Industry and FDA Staff-Total Product Life Cycle: Infusion Pump\u2013Premarket Notification [510 (k)] Submissions (2010)"},{"key":"2_CR4","unstructured":"European Organisation for the Safety of Air Navigation: Preliminary Safety Case for Airports Surface Surveillance. Eurocontrol (2011)"},{"issue":"63","key":"2_CR5","doi-asserted-by":"publisher","first-page":"830","DOI":"10.1109\/TR.2014.2335995","volume":"4","author":"E Denney","year":"2014","unstructured":"Denney, E., Pai, G.: Automating the assembly of aviation safety cases. IEEE Trans. Reliab. 4(63), 830\u2013849 (2014)","journal-title":"IEEE Trans. Reliab."},{"issue":"11","key":"2_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ssci.2013.04.007","volume":"59","author":"R Hawkins","year":"2013","unstructured":"Hawkins, R., Habli, I., Kelly, T., McDermid, J.: Assurance case and prescriptive software safety certification: a comparative study. J. Saf. Sci. 59(11), 55\u201371 (2013)","journal-title":"J. Saf. Sci."},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-16561-0_33","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"E Jee","year":"2010","unstructured":"Jee, E., Lee, I., Sokolsky, O.: Assurance cases in model-driven development of the pacemaker software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 343\u2013356. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16561-0_33"},{"key":"2_CR8","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, 435\u2013499 (2018)","journal-title":"Autom. Softw. Eng."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-28891-3_14","volume-title":"NASA Formal Methods","author":"A Ayoub","year":"2012","unstructured":"Ayoub, A., Kim, B., Lee, I., Sokolsky, O.: A safety case pattern for model-based development approach. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 141\u2013146. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_14"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) (2015)","DOI":"10.1109\/HASE.2015.25"},{"key":"2_CR11","unstructured":"Denney, E.W., Pai, G.J.: Safety case patterns: theory and applications (2015)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Proceedings of Future of Software Engineering 2007 (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"2_CR13","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Version 1, pp. 437\u2013451 (2011)"},{"key":"2_CR14","unstructured":"Adelard (2003). http:\/\/adelard.co.uk\/software\/asce\/"},{"key":"2_CR15","unstructured":"http:\/\/www.eclipse.org\/atl\/"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gross, K.H., Fifarek, A.W., Hoffman, J.A.: Incremental formal methods based design approach demonstrated on a coupled tanks control system. In: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (2016)","DOI":"10.1109\/HASE.2016.16"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Langari, A., Maibaum, T.: Safety cases: a review of challenges (2013)","DOI":"10.1109\/ASSURE.2013.6614263"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-33678-2_26","volume-title":"Computer Safety, Reliability, and Security","author":"A Ayoub","year":"2012","unstructured":"Ayoub, A., Kim, B., Lee, I., Sokolsky, O.: A Systematic approach to justifying sufficient confidence in software safety arguments. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 305\u2013316. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33678-2_26"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-33678-2_2","volume-title":"Computer Safety, Reliability, and Security","author":"AA Hauge","year":"2012","unstructured":"Hauge, A.A., St\u00f8len, K.: A pattern-based method for safe control systems exemplified within nuclear power production. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 13\u201324. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33678-2_2"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99933-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T19:47:42Z","timestamp":1571773662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99933-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999326","9783319999333"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99933-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}