{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:07:54Z","timestamp":1748664474426,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_17","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"228-242","source":"Crossref","is-referenced-by-count":6,"title":["Towards Assurance for Plug & Play Medical Systems"],"prefix":"10.1007","author":[{"given":"Andrew L.","family":"King","sequence":"first","affiliation":[]},{"given":"Lu","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Sam","family":"Procter","sequence":"additional","affiliation":[]},{"given":"Sanjian","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-46002-0_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES - a tool for modelling and implementation of embedded systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 460\u2013464. Springer, Heidelberg (2002)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Arney, D., Pajic, M., Goldman, J.M., Lee, I., Mangharam, R., Sokolsky, O.: Toward patient safety in closed-loop medical device systems. In: Proceedings of the 1st ACM\/IEEE International Conference on Cyber-Physical Systems, pp. 139\u2013148. ACM (2010)","DOI":"10.1145\/1795194.1795214"},{"key":"17_CR4","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.G., 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)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Petterson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: 2006 Third International Conference on Quantitative Evaluation of Systems, QEST 2006, pp. 125\u2013126. IEEE (2006)","DOI":"10.1109\/QEST.2006.59"},{"issue":"5","key":"17_CR6","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1111\/j.1365-2044.2011.06997.x","volume":"67","author":"J Bonner","year":"2012","unstructured":"Bonner, J., McClymont, W.: Respiratory arrest in an obstetric patient using remifentanil patient-controlled analgesia*. Anaesthesia 67(5), 538\u2013540 (2012)","journal-title":"Anaesthesia"},{"key":"17_CR7","unstructured":"Goldman, J.: Advancing the adoption of medical device plug-and-play interoperability to improve patient safety and healthcare efficiency. Medical Device \u201cPlug-and-Play\u201d Interoperability Program, Technical report (2000)"},{"issue":"3","key":"17_CR8","first-page":"174","volume":"39","author":"JM Goldman","year":"2005","unstructured":"Goldman, J.M.: Getting connected to save lives. Biomed. Instrum. Tech. 39(3), 174\u2013174 (2005)","journal-title":"Biomed. Instrum. Tech."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., King, A., Lee, I., MacDonald, A., Fernando, A., Robkin, M., Vasserman, E., Weininger, S., Goldman, J.M.: Rationale and architecture principles for medical application platforms. In: 2012 IEEE\/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pp. 3\u201312. IEEE (2012)","DOI":"10.1109\/ICCPS.2012.9"},{"key":"17_CR10","unstructured":"Hatcliff, J., Vasserman, E., Weininger, S., Goldman, J.: An overview of regulatory and trust issues for the integrated clinical environment. In: Proceedings of HCMDSS 2011 (2011)"},{"issue":"5","key":"17_CR11","doi-asserted-by":"publisher","first-page":"429","DOI":"10.2146\/ajhp070194","volume":"65","author":"RW Hicks","year":"2008","unstructured":"Hicks, R.W., Sikirica, V., Nelson, W., Schein, J.R., Cousins, D.D.: Medication errors involving patient-controlled analgesia. Am. J. Health Syst. Pharm. 65(5), 429\u2013440 (2008)","journal-title":"Am. J. Health Syst. Pharm."},{"key":"17_CR12","unstructured":"Hilderman, V., Baghi, T.: Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware). Avionics Communications (2007)"},{"key":"17_CR13","unstructured":"Hudcova, J., McNicol, E.D., Quah, C.S., Lau, J., Carr, D.B.: Patient controlled opioid analgesia versus conventional opioid analgesia for postoperative pain. The Cochrane Library"},{"key":"17_CR14","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation-a safety argument notation. In: Dependable Systems and Networks Workshop on Assurance Cases (2004)"},{"key":"17_CR15","unstructured":"Kelly, T.P.: Concepts and principles of compositional safety case construction (2001)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"King, A., Procter, S., Andresen, D., Hatcliff, J., Warren, S., Spees, W., Jetley, R., Jones, P., Weininger, S.: An open test bed for medical device integration and coordination. In: 31st International Conference on Software Engineering-Companion, ICSE-Companion 2009, vol. 2009, pp. 141\u2013151.IEEE (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5070972"},{"issue":"4","key":"17_CR17","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0925-7535(03)00047-X","volume":"42","author":"N Leveson","year":"2004","unstructured":"Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42(4), 237\u2013270 (2004)","journal-title":"Saf. Sci."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Plourde, J., Arney, D., Goldman, J.M.: Openice: An open, interoperable platform for medical cyber-physical systems. In: 2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS), pp. 221\u2013221. IEEE (2014)","DOI":"10.1109\/ICCPS.2014.6843734"},{"issue":"5","key":"17_CR19","first-page":"20","volume":"37","author":"P Quigley","year":"2009","unstructured":"Quigley, P.: F2761 and the integrated clinical environment. Stand. News 37(5), 20 (2009)","journal-title":"Stand. News"},{"key":"17_CR20","unstructured":"Rushby, J.: Modular certification. Technical report, SRI CSL, September 2001"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24255-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:02:20Z","timestamp":1748610140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}