{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T10:25:18Z","timestamp":1782469518946,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642539558","type":"print"},{"value":"9783642539565","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-53956-5_7","type":"book-chapter","created":{"date-parts":[[2014,1,9]],"date-time":"2014-01-09T02:14:35Z","timestamp":1389233675000},"page":"87-106","source":"Crossref","is-referenced-by-count":18,"title":["Insulin Pump Software Certification"],"prefix":"10.1007","author":[{"given":"Yihai","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Wassyng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Ankrum, T.S., Kromholz, A.H.: Structured Assurance Cases: Three Common Standards. In: HASE 2005: 9th IEEE International Symposium on High-Assurance Systems Engineering, pp. 99\u2013108 (2005)","DOI":"10.1109\/HASE.2005.20"},{"key":"7_CR2","unstructured":"Associated Press: Insulin Pumps Vulnerable to Hacking, http:\/\/www.foxnews.com\/tech\/2011\/08\/04\/insulin-pumps-vulnerable-to-hacking\/"},{"key":"7_CR3","unstructured":"Ayoub, A., Chang, J., Sokolsky, O., Lee, I.: Assessing the Overall Sufficiency of Safety Arguments. In: SSS 2013: 21st Safety-critical Systems Symposium. LNCS. Springer (2013)"},{"issue":"4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1056\/NEJMoa1002853","volume":"363","author":"R.M. Bergenstal","year":"2010","unstructured":"Bergenstal, R.M., Tamborlane, W.V., Ahmann, A., Buse, J.B., Dailey, G., Davis, S.N., Joyce, C., Peoples, T., Perkins, B.A., Welsh, J.B., et al.: Effectiveness of Sensor-augmented Insulin-pump Therapy in Type 1 Diabetes. New England Journal of Medicine\u00a0363(4), 311\u2013320 (2010)","journal-title":"New England Journal of Medicine"},{"issue":"3","key":"7_CR5","first-page":"184","volume":"28","author":"P.E. Black","year":"2007","unstructured":"Black, P.E.: Samate and Evaluating Static Analysis Tools. Ada User Journal\u00a028(3), 184\u2013188 (2007)","journal-title":"Ada User Journal"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Bishop, P.: Safety and Assurance Cases: Past, Present and Possible Future\u2013an Adelard Perspective. In: Making Systems Safer, pp. 51\u201367. Springer (2010)","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"7_CR7","unstructured":"Carollo, K.: Can Your Insulin Pump Be Hacked?, http:\/\/abcnews.go.com\/blogs\/health\/2012\/newline04\/10\/can-your-insulin-pump-be-hacked\/"},{"key":"7_CR8","unstructured":"Dooren, J.C.: FDA Sees Increasing Number Of Insulin Pump Problems, http:\/\/online.wsj.com\/article\/SB10001424052748703862704575099961829258070.html"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-642-20398-5_38","volume-title":"NASA Formal Methods","author":"C. Eles","year":"2011","unstructured":"Eles, C., Lawford, M.: A Tabular Expression Toolbox for Matlab\/Simulink. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 494\u2013499. Springer, Heidelberg (2011)"},{"key":"7_CR10","unstructured":"FDA: Analysis of Premarket Review Times Under the 510(k) Program, http:\/\/www.fda.gov\/AboutFDA\/CentersOffices\/OfficeofMedicalProductsandTobacco\/CDRH\/CDRHReports\/ucm263385.htm"},{"key":"7_CR11","unstructured":"FDA: Use of Standards in Substantial Equivalence Determinations, http:\/\/www.fda.gov\/MedicalDevices\/DeviceRegulationandGuidance\/GuidanceDocuments\/ucm073752.htm"},{"key":"7_CR12","unstructured":"FDA: Guidance \u2013 General Principles of Software Validation (2002)"},{"key":"7_CR13","unstructured":"FDA: Guidance for the Content of Premarket Submissions for Software Contained in Medical Devices (2005)"},{"key":"7_CR14","unstructured":"FDA: Guidance \u2013 Total Product Life Cycle: Infusion Pump-Premarket Notification Submissions [510(k)] Submissions (2010)"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.entcs.2009.09.002","volume":"238","author":"J. Hatcliff","year":"2009","unstructured":"Hatcliff, J., Heimdahl, M., Lawford, M., Maibaum, T., Wassyng, A., Wurden, F.: A software certification consortium and its top 9 hurdles. Electronic Notes in Theoretical Computer Science\u00a0238(4), 11\u201317 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR16","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 Cases and Prescriptive Software Safety Certification: A Comparative Study. Safety Science\u00a059, 55\u201371 (2013)","journal-title":"Safety Science"},{"key":"7_CR17","unstructured":"Horowitz, B.T.: Cellnovo\u2019s Cloud System Monitors Diabetes in Real Time, http:\/\/www.eweek.com\/c\/a\/Health-Care-IT\/Cellnovos-Cloud-System-Monitors-Diabetes-in-Real-Time-520914\/"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"International Electrotechnical Commission: IEC 62304: 2006 Medical Device Software\u2013Software Life Cycle Processes (2006)","DOI":"10.1049\/ic:20060141"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Klonoff, D.C., Paul, N.R., Kohno, T.: A Review of the Security of Insulin Pump Infusion Systems. Journal of Diabetes Science and Technology\u00a05(6) (2011)","DOI":"10.1177\/193229681100500632"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Leveson, N.: Engineering a Safer World: Applying Systems Thinking to Safety. MIT press (2012)","DOI":"10.7551\/mitpress\/8179.001.0001"},{"issue":"2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/MC.2008.37","volume":"41","author":"T. Maibaum","year":"2008","unstructured":"Maibaum, T., Wassyng, A.: A Product-Focused Approach to Software Certification. Computer\u00a041(2), 91\u201393 (2008)","journal-title":"Computer"},{"key":"7_CR22","unstructured":"NRC: Guidance on Software Reviews for Digital Computer-Based Instrumentation and Control Systems, http:\/\/pbadupws.nrc.gov\/docs\/ML0525\/ML052500547.pdf"},{"issue":"12","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"key":"7_CR24","unstructured":"Parnas, D.L., Clements, P.C., Weiss, D.M.: The Modular Structure of Complex Systems. In: 7th International Conference on Software Engineering, pp. 408\u2013417. IEEE (1984)"},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional documents for computer systems. Science of Computer programming\u00a025(1), 41\u201361 (1995)","journal-title":"Science of Computer programming"},{"issue":"1","key":"7_CR26","doi-asserted-by":"crossref","first-page":"e1","DOI":"10.1331\/JAPhA.2009.08122","volume":"49","author":"L.G. Potti","year":"2009","unstructured":"Potti, L.G., Haines, S.T.: Continuous subcutaneous insulin infusion therapy: a primer on insulin pumps. Journal of the American Pharmacists Association\u00a049(1), e1\u2013e17 (2009)","journal-title":"Journal of the American Pharmacists Association"},{"key":"7_CR27","unstructured":"Raghunathan, A., Jha, N.K.: Hijacking an Insulin Pump: Security Attacks and Defenses for a Diabetes Therapy System. In: IEEE 13th International Conference on e-Health Networking, Applications and Services, pp. 150\u2013156. IEEE (2011)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Siebert, C.: Diabetes control and complications trial (DCCT): Results of the feasibility study and design of the full-scale clinical trial. Controlled Clinical Trials\u00a07 (1986)","DOI":"10.1016\/0197-2456(86)90072-3"},{"key":"7_CR29","unstructured":"Stribbell, J.: Model Based Design of a Generic Insulin Infusion Pump. M.Eng. Report, McMaster University (2013)"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-75101-4_2","volume-title":"Computer Safety, Reliability, and Security","author":"M.-A. Sujan","year":"2007","unstructured":"Sujan, M.-A., Koornneef, F., Voges, U.: Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 14\u201327. Springer, Heidelberg (2007)"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-45236-2_9","volume-title":"FME 2003: Formal Methods","author":"A. Wassyng","year":"2003","unstructured":"Wassyng, A., Lawford, M.: Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 133\u2013153. Springer, Heidelberg (2003)"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-21292-5_12","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"A. Wassyng","year":"2011","unstructured":"Wassyng, A., Maibaum, T., Lawford, M., Bherer, H.: Software Certification: Is There a Case against Safety Cases? In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol.\u00a06662, pp. 206\u2013227. Springer, Heidelberg (2011)"},{"key":"7_CR33","unstructured":"Weinstock, C.B., Goodenough, J.B.: Towards an Assurance Case Practice for Medical Devices. Tech. rep., DTIC Document (2009)"},{"issue":"2","key":"7_CR34","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1177\/193229681000400232","volume":"4","author":"Y. Zhang","year":"2010","unstructured":"Zhang, Y., Jones, P.L., Klonoff, D.C.: Second insulin pump safety meeting: summary report. Journal of Diabetes Science and Technology\u00a04(2), 488 (2010)","journal-title":"Journal of Diabetes Science and Technology"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53956-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T12:13:48Z","timestamp":1746101628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-53956-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642539558","9783642539565"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53956-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}