{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:15:47Z","timestamp":1743005747131,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105086"},{"type":"electronic","value":"9783319105093"}],"license":[{"start":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T00:00:00Z","timestamp":1411430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T00:00:00Z","timestamp":1411430400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-10509-3_10","type":"book-chapter","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T23:45:02Z","timestamp":1411515902000},"page":"127-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Generation of Assurance Cases for Medical Devices"],"prefix":"10.1007","author":[{"given":"Chung-Ling","family":"Lin","sequence":"first","affiliation":[]},{"given":"Wuwei","family":"Shen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,23]]},"reference":[{"key":"10_CR1","unstructured":"Medical devices\u2014Application of risk management to medical devices, ISO 14971"},{"key":"10_CR2","unstructured":"US Food and Drug Administration, Guidance for Industry and FDA Staff-Total Product Life Cycle: Infusion Pump- Premarket Notification[510 (k)] Submissions. April 2010"},{"key":"10_CR3","unstructured":"Kelly, T., Weaver, R.: The Goal Structuring Notation\u2014A Safety Argument Notation, in dependable systems and networks 2004 workshop on assurance cases (2004)"},{"key":"10_CR4","volume-title":"The Rational Unified Process: An Introduction","author":"P Kruchten","year":"2003","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley Professional, Amsterdam (2003)"},{"key":"10_CR5","unstructured":"FDA, Generic Insulin Infusion Pump Functional Specifications (2011)"},{"key":"10_CR6","unstructured":"Adelard. The Adelard Safety Case Editor\u2014ASCE. http:\/\/adelard.co.uk\/software\/asce\/ (2003)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-1-4471-3054-3_30","volume-title":"The SHIP Safety Case Approach, in Safe Comp 95","author":"PG Bishop","year":"1995","unstructured":"Bishop, P.G., Bloomfield, R.E.: The SHIP Safety Case Approach, in Safe Comp 95, pp. 437\u2013451. Springer, London (1995)"},{"key":"10_CR8","volume-title":"Requirements Management Using IBM Rational RequisitePro","author":"P Zielczynski","year":"2008","unstructured":"Zielczynski, P.: Requirements Management Using IBM Rational RequisitePro. IBM Press, Upper Saddle River (2008)"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1147\/sj.453.0555","volume":"45","author":"D Leroux","year":"2006","unstructured":"Leroux, D., Nally, M., Hussey, K.: Rational software architect: a tool for domain-specific modeling. IBM Syst. J. 45(3), 555\u2013568 (2006)","journal-title":"IBM Syst. J."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Langari, A., Maibaum, T.: Safety Cases: A Review of Challenges (2013)","DOI":"10.1109\/ASSURE.2013.6614263"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A New Approach to Create Clear Safety Arguments, In Nineteenth Safety-Critical Systems Symposium. Southampton, UK (2011)","DOI":"10.1007\/978-0-85729-133-2_1"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Jee, E., Lee, I., Sokolsky, O.: Assurance Cases in Model-Driven Development of the Pacemaker Software, LNCS 6416 (2010)","DOI":"10.1007\/978-3-642-16561-0_33"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Formalization in Safety Cases. In Eighteenth Safety-Critical Systems Symposium, pp. 3\u201317 (2010)","DOI":"10.1007\/978-1-84996-086-1_1"},{"key":"10_CR14","unstructured":"CD ISO, Road vehicles-Functional safety, International Standard ISO\/FDIS, vol. 26262 (2011)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Birch, J.: Safety cases and their role in ISO 26262 functional safety assessment. In Computer Safety, Reliability, and Security, pp. 154\u2013165. Springer (2013)","DOI":"10.1007\/978-3-642-40793-2_15"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Westman, J., Nyberg, M., T\u00f6rngren, M.: Structuring safety requirements in ISO 26262 using contract theory. In Computer Safety, Reliability, and Security. pp. 166\u2013177, Springer (2013)","DOI":"10.1007\/978-3-642-40793-2_16"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"St\u00fcrmer, I., Salecker, E., Pohlheim, H.: Reviewing software models in compliance with ISO 26262. In Computer Safety, Reliability, and Security. pp. 258\u2013267, Springer (2012)","DOI":"10.1007\/978-3-642-33678-2_22"},{"key":"10_CR18","unstructured":"OMG. Structured Assurance Case Metamodel (SACM)\u2014Version 1.0. http:\/\/www.omg.org\/spec\/SACM\/"},{"key":"10_CR19","unstructured":"Johnston, S.: Rational UML Profile for business modeling, IBM Developer Works. http:\/\/www.ibm.com\/developerworks\/rational\/library\/5167.html, (2004)"}],"container-title":["Studies in Computational Intelligence","Computer and Information Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10509-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T08:35:24Z","timestamp":1674894924000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10509-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,23]]},"ISBN":["9783319105086","9783319105093"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10509-3_10","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014,9,23]]},"assertion":[{"value":"23 September 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}