{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:40Z","timestamp":1750221280033,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,5]],"date-time":"2017-11-05T00:00:00Z","timestamp":1509840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Cyber Bureau in the Government of Israel","award":["D16PC00057"],"award-info":[{"award-number":["D16PC00057"]}]},{"name":"DHS S&T\/HSARPA\/CDS","award":["BAA HSHQDC-14-R-B0005"],"award-info":[{"award-number":["BAA HSHQDC-14-R-B0005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,5]]},"DOI":"10.1145\/3137003.3137008","type":"proceedings-article","created":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T14:22:01Z","timestamp":1514557321000},"page":"14-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices"],"prefix":"10.1145","author":[{"given":"Todd","family":"Carpenter","sequence":"first","affiliation":[{"name":"Adventium Labs, Minneapolis, MN, USA"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kansas State University, Manhattan, KS, USA"}]},{"given":"Eugene Y.","family":"Vasserman","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kansas State University, Manhattan, KS, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Health Level Seven International. http:\/\/www.hl7.org\/.  Health Level Seven International. http:\/\/www.hl7.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"F-2761: Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) -Part 1: General requirements and conceptual model. Standard 2009.  F-2761: Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) -Part 1: General requirements and conceptual model. Standard 2009."},{"volume-title":"Technical report","year":"2013","key":"e_1_3_2_1_3_1","unstructured":"The value of medical device interoperability. Technical report , Westhealth Institute , 2013 . The value of medical device interoperability. Technical report, Westhealth Institute, 2013."},{"volume-title":"AAMI","year":"2016","key":"e_1_3_2_1_4_1","unstructured":"TIR57 : Principles for medical device information security risk management. Technical report , AAMI , 2016 . TIR57: Principles for medical device information security risk management. Technical report, AAMI, 2016."},{"key":"e_1_3_2_1_6_1","unstructured":"FDA. Content of premarket submissions for management of cybersecurity in medical devices. http:\/\/www.fda.gov\/downloads\/MedicalDevices\/DeviceRegulationandGuidance\/GuidanceDocuments\/UCM356190.pdf.  FDA. Content of premarket submissions for management of cybersecurity in medical devices. http:\/\/www.fda.gov\/downloads\/MedicalDevices\/DeviceRegulationandGuidance\/GuidanceDocuments\/UCM356190.pdf."},{"key":"e_1_3_2_1_8_1","volume-title":"Medical device interoperability ecosystem updates: Device clock time, value proposition, and the FDA regulatory pathway","author":"Goldman J. M.","year":"2012","unstructured":"J. M. Goldman . Medical device interoperability ecosystem updates: Device clock time, value proposition, and the FDA regulatory pathway . NSF CPS Large Site Visit PRECISE Center at Penn, 2012 . J. M. Goldman. Medical device interoperability ecosystem updates: Device clock time, value proposition, and the FDA regulatory pathway. NSF CPS Large Site Visit PRECISE Center at Penn, 2012."},{"key":"e_1_3_2_1_9_1","author":"Hansson J.","year":"2009","unstructured":"J. Hansson , B. Lewis , J. Hugues , L. Wrage , P. Feiler , and J. Morley . Model-based verification of security and non-functional behavior using AADL. IEEE Security & Privacy Magazine, PP(99) , 2009 . J. Hansson, B. Lewis, J. Hugues, L. Wrage, P. Feiler, and J. Morley. Model-based verification of security and non-functional behavior using AADL. IEEE Security & Privacy Magazine, PP(99), 2009.","journal-title":"IEEE Security & Privacy Magazine, PP(99)"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"key":"e_1_3_2_1_11_1","unstructured":"Integrating the Healthcare Enterprise (IHE). IHE Patient Care Device (PCD) Technical Framework. http:\/\/ihe.net\/Technical_Frameworks\/#pcd.  Integrating the Healthcare Enterprise (IHE). IHE Patient Care Device (PCD) Technical Framework. http:\/\/ihe.net\/Technical_Frameworks\/#pcd."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEHC.2013.6602474"},{"key":"e_1_3_2_1_13_1","volume-title":"Engineering a Safer World. Engineering Systems","author":"Leveson N. G.","year":"2011","unstructured":"N. G. Leveson . Engineering a Safer World. Engineering Systems . MIT Press , 2011 . N. G. Leveson. Engineering a Safer World. Engineering Systems. MIT Press, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110363.2110403"},{"key":"e_1_3_2_1_15_1","volume-title":"FDA impact on U.S. medical technology innovation. Technical report","author":"Makower J.","year":"2010","unstructured":"J. Makower , A. Meer , and L. Denend . FDA impact on U.S. medical technology innovation. Technical report , 2010 . J. Makower, A. Meer, and L. Denend. FDA impact on U.S. medical technology innovation. Technical report, 2010."},{"key":"e_1_3_2_1_16_1","unstructured":"MD PnP Program. Open-Source Integrated Clinical Environment. https:\/\/www.openice.info\/.  MD PnP Program. Open-Source Integrated Clinical Environment. https:\/\/www.openice.info\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961850"},{"key":"e_1_3_2_1_18_1","volume-title":"SEHC Workshop","author":"Procter S.","year":"2014","unstructured":"S. Procter , J. Hatcliff , and Robby. Towards an AADL-based definition of app architecture for medical application platforms . In SEHC Workshop , 2014 . S. Procter, J. Hatcliff, and Robby. Towards an AADL-based definition of app architecture for medical application platforms. In SEHC Workshop, 2014."},{"key":"e_1_3_2_1_19_1","volume-title":"SAW","author":"Procter S.","year":"2017","unstructured":"S. Procter , E. Y. Vasserman , and J. Hatcliff . SAFE and secure: Deeply integrating security in a new hazard analysis . In SAW , 2017 . S. Procter, E. Y. Vasserman, and J. Hatcliff. SAFE and secure: Deeply integrating security in a new hazard analysis. In SAW, 2017."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNT.2010.49"},{"key":"e_1_3_2_1_21_1","volume-title":"SEHC Workshop","author":"Salazar C.","year":"2014","unstructured":"C. Salazar and E. Y. Vasserman . Retrofitting communication security into a publish\/subscribe middleware platform . In SEHC Workshop , 2014 . C. Salazar and E. Y. Vasserman. Retrofitting communication security into a publish\/subscribe middleware platform. In SEHC Workshop, 2014."},{"key":"e_1_3_2_1_22_1","volume-title":"Architecture Analysis & Design Language (AADL). Aerospace Standard AS5506","author":"Society of Automotive Engineers.","year":"2004","unstructured":"Society of Automotive Engineers. Architecture Analysis & Design Language (AADL). Aerospace Standard AS5506 , 2004 . Society of Automotive Engineers. Architecture Analysis & Design Language (AADL). Aerospace Standard AS5506, 2004."},{"key":"e_1_3_2_1_23_1","volume-title":"AADL error-model annex proposed draft. Aerospace Standard AS5506\/1B","author":"Society of Automotive Engineers.","year":"2014","unstructured":"Society of Automotive Engineers. AADL error-model annex proposed draft. Aerospace Standard AS5506\/1B , 2014 . Society of Automotive Engineers. AADL error-model annex proposed draft. Aerospace Standard AS5506\/1B, 2014."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05149-9_13"}],"event":{"name":"SenSys '17: The 15th ACM Conference on Embedded Network Sensor Systems","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Delft Netherlands","acronym":"SenSys '17"},"container-title":["Proceedings of the 1st ACM Workshop on the Internet of Safe Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137003.3137008","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3137003.3137008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:18Z","timestamp":1750212678000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137003.3137008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,5]]},"references-count":22,"alternative-id":["10.1145\/3137003.3137008","10.1145\/3137003"],"URL":"https:\/\/doi.org\/10.1145\/3137003.3137008","relation":{},"subject":[],"published":{"date-parts":[[2017,11,5]]},"assertion":[{"value":"2017-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}