{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:26:41Z","timestamp":1760549201834},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288906"},{"type":"electronic","value":"9783642288913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28891-3_14","type":"book-chapter","created":{"date-parts":[[2012,3,30]],"date-time":"2012-03-30T12:53:01Z","timestamp":1333111981000},"page":"141-146","source":"Crossref","is-referenced-by-count":20,"title":["A Safety Case Pattern for Model-Based Development Approach"],"prefix":"10.1007","author":[{"given":"Anaheed","family":"Ayoub","sequence":"first","affiliation":[]},{"given":"BaekGyu","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Safety Requirements for the Generic Patient Controlled Analgesia Pump, \n                  \n                    http:\/\/rtg.cis.upenn.edu\/gip.php3"},{"key":"14_CR2","unstructured":"The Generic Patient Controlled Analgesia Pump Model, \n                  \n                    http:\/\/rtg.cis.upenn.edu\/gip.php3"},{"key":"14_CR3","unstructured":"Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns. Technical report, University of York (2007)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Graydon, P., Knight, J., Strunk, E.: Assurance Based Development of Critical Systems. In: The 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2007, Washington, DC, USA, pp. 347\u2013357 (2007)","DOI":"10.1109\/DSN.2007.17"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-24270-0_14","volume-title":"Computer Safety, Reliability, and Security","author":"R. Hawkins","year":"2011","unstructured":"Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a Software Safety Argument Pattern Catalogue: Two Case Studies. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 185\u2013198. Springer, Heidelberg (2011)"},{"key":"14_CR7","first-page":"25","volume":"46","author":"R. Hawkins","year":"2009","unstructured":"Hawkins, R., Kelly, T.: A Systematic Approach for Developing Software Safety Arguments. Journal of System Safety\u00a046, 25\u201333 (2009)","journal-title":"Journal of System Safety"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Kelly, T.: Software Safety Assurance \u2013 What is Sufficient? In: The 4th IET International Conference of System Safety, London (2009)","DOI":"10.1049\/cp.2009.1542"},{"key":"14_CR9","first-page":"3","volume-title":"The 19th Safety Critical Systems Symposium (SSS 2011)","author":"R. Hawkins","year":"2011","unstructured":"Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A New Approach to creating Clear Safety Arguments. In: The 19th Safety Critical Systems Symposium (SSS 2011), pp. 3\u201323. Springer, London (2011)"},{"key":"14_CR10","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, Part II. LNCS, vol.\u00a06416, pp. 343\u2013356. Springer, Heidelberg (2010)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Arguing Safety \u2013 A Systematic Approach to Safety Cases Management. PhD thesis, Department of Computer Science, University of York (1999)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"14_CR12","first-page":"55","volume-title":"SAFECOMP","author":"T. Kelly","year":"1997","unstructured":"Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: SAFECOMP, pp. 55\u201396. Springer, Heidelberg (1997)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Kim, B., Ayoub, A., Sokolsky, O., Jones, P., Zhang, Y., Jetley, R., Lee, I.: Safety-Assured Development of the GPCA Infusion Pump Software. In: EMSOFT, Taipei, Taiwan, pp. 155\u2013164 (2011)","DOI":"10.1145\/2038642.2038667"},{"key":"14_CR14","unstructured":"U.S. Food and Drug Administration, Center for Devices and Radiological Health. Guidance for Industry and FDA Staff - Total Product Life Cycle: Infusion Pump - Premarket Notification (510(k)) Submissions (April 2010)"},{"key":"14_CR15","unstructured":"U.S. Food and Drug Administration, Center for Devices and Radiological Health. White Paper: Infusion Pump Improvement Initiative (April 2010)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Wagner, S., Sch\u00e4tz, B., Puchner, S., Kock, P.: A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. In: ISSRE, pp. 269\u2013278 (2010)","DOI":"10.1109\/ISSRE.2010.31"},{"key":"14_CR17","unstructured":"Weaver, R.: The Safety of Software - Constructing and Assuring Arguments. PhD thesis, Department of Computer Science, University of York (2003)"},{"key":"14_CR18","unstructured":"Weinstock, C., Goodenough, J.: Towards an Assurance Case Practice for Medical Device. Technical report, CMU\/SEI-2009-TN-018 (2009)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28891-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:14Z","timestamp":1620126854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28891-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288906","9783642288913"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28891-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}