{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:25:30Z","timestamp":1725906330747},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631936"},{"type":"electronic","value":"9783319631943"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-63194-3_3","type":"book-chapter","created":{"date-parts":[[2017,7,26]],"date-time":"2017-07-26T11:58:43Z","timestamp":1501070323000},"page":"26-43","source":"Crossref","is-referenced-by-count":0,"title":["Towards an AADL-Based Definition of App Architecture for Medical Application Platforms"],"prefix":"10.1007","author":[{"given":"Sam","family":"Procter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Robby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,27]]},"reference":[{"key":"3_CR1","unstructured":"Capnostream 20 Bedside Patient Monitor. http:\/\/www.covidien.com\/rms\/products\/capnography\/capnostream-20p-bedside-patient-monitor"},{"key":"3_CR2","unstructured":"MDCF website. http:\/\/mdcf.santos.cis.ksu.edu"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"King, A., Chen, S., Lee, I.: The MIDdleware assurance substrate: enabling strong real-time guarantees in open systems with OpenFlow. In: 17th IEEE Computer Society Symposium on Object\/Component\/Service-Oriented Realtime Distributed Computing (ISORC 2014) (2014)","DOI":"10.1109\/ISORC.2014.49"},{"key":"3_CR4","unstructured":"ASTM International. ASTM F2761 - Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) (2009)"},{"issue":"4","key":"3_CR5","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1097\/00000542-199710000-00006","volume":"87","author":"RA Caplan","year":"1997","unstructured":"Caplan, R.A., Vistica, M.F., Posner, K.L., Cheney, F.W.: Adverse anesthetic outcomes arising from gas delivery equipment: a closed claims analysis. Anesthesiology 87(4), 741\u2013748 (1997)","journal-title":"Anesthesiology"},{"key":"3_CR6","unstructured":"Dissaux, P.: Using the aadl for mission critical software development. In: 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE Toulouse (2004)"},{"key":"3_CR7","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"PH Feiler","year":"2012","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Pearson (2012)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction. Technical report, DTIC Document (2006)","DOI":"10.21236\/ADA455842"},{"key":"3_CR9","unstructured":"Feiler, P.H., Hansson, J.: Flow latency analysis with the architecture analysis and design language (aadl). Technical report, Carnegie Mellon University - Software Engineering Institute (2008)"},{"key":"3_CR10","unstructured":"Feiler, P.H., Hansson, J., De Niz, D., Wrage, L.: System architecture virtual integration: an industrial case study. Technical report, DTIC Document (2009)"},{"key":"3_CR11","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":"3_CR12","unstructured":"ISO\/IEEE. Domain information model. In: ISO\/IEEE11073-10201 Health Informatics - Point-of-Care Medical Device Communication (2004)"},{"key":"3_CR13","unstructured":"Ivy Biomedical Systems Inc.: Vital-Guard 450C Patient Monitor with Nellcor SpO $$_2$$ 2 , August 2005"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Kim, B., Phan, L.T., Sokolsky, O., Lee, L.: Platform-dependent code generation for embedded real-time software. In: 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). IEEE (2013)","DOI":"10.1109\/CASES.2013.6662512"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"King, A., Arney, D., Lee, I., Sokolsky, O., Hatcliff, J., Procter, S.: Prototyping closed loop physiologic control with the medical device coordination framework. In: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, pp. 1\u201311. ACM (2010)","DOI":"10.1145\/1809085.1809086"},{"key":"3_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: Proceedings of the 31st International Conference on Software Engineering (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5070972"},{"issue":"2","key":"3_CR17","first-page":"7","volume":"6","author":"AL King","year":"2009","unstructured":"King, A.L., Procter, S., Andresen, D., Hatcliff, J., Warren, S., Spees, W., Jetley, R.P., Jones, P.L., Weininger, S.: A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6(2), 7 (2009)","journal-title":"SIGBED Rev."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Larson, B., Hatcliff, J., Fowler, K., Delange, J.: Illustrating the aadl error modeling annex (v. 2) using a simple safety-critical medical device. In: Proceedings of the 2013 ACM SIGAdA Annual Conference On High Integrity Language Technology, pp. 65\u201384. ACM (2013)","DOI":"10.1145\/2527269.2527271"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Larson, B., Hatcliff, J., Procter, S., Chalin, P.: Requirements specification for apps in medical application platforms. In: 2012 4th International Workshop on Software Engineering in Health Care (SEHC), pp. 26\u201332. IEEE (2012)","DOI":"10.1109\/SEHC.2012.6227013"},{"key":"3_CR20","first-page":"3","volume":"26","author":"RR Maddox","year":"2012","unstructured":"Maddox, R.R., Williams, C.: Clinical experience with capnography monitoring for pca patients. APSF Newsl. 26, 3 (2012)","journal-title":"APSF Newsl."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Murugesan, A., Whalen, M.W., Rayadurgam, S., Heimdahl, M.P.: Compositional verification of a medical device system. In: Proceedings of the 2013 ACM SIGAdA Annual Conference on High Integrity Language Technology. ACM (2013)","DOI":"10.1145\/2527269.2527272"},{"key":"3_CR22","unstructured":"OSATE, S.: An extensible open source aadl tool environment. SEI AADL Team Technical report (2004)"},{"key":"3_CR23","unstructured":"Schlichting, S., P\u00f6hlsen, S.: An architecture for distributed systems of medical devices in high acuity environments. Technical report, Dr\u00e4ger (2014)"},{"key":"3_CR24","volume-title":"CORBA 3 fundamentals and programming","author":"J Siegel","year":"2000","unstructured":"Siegel, J.: CORBA 3 fundamentals and programming, vol. 2. Wiley, Chichester (2000)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering in Health Care"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63194-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T12:51:42Z","timestamp":1569934302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63194-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631936","9783319631943"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63194-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}