Acknowledgement
Supported by : 인천대학교
References
- MD PnP, "Medical device "plug-and-play" interoperability progam," http://mdpnp.org, 2014.
- ASTM F2761-09 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, ASTM Standard Std., 2009.
- W. Kang, et al., "Towards organ-centric compositional development of safe networked supervisory medical systems," IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS), Jun. 2013.
- P. Feiler, et al., "The sae architecture analysis and design language (aadl) a standard for engineering performance critical systems," in IEEE International Symposium on Intelligent Control, 2006, pp. 1206-1211.
- R. M. Hofmann, "Modeling medical devices for plug-and-play interoperability," Master's thesis, MIT, 2007.
- R. Alur, et al., "Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system," International Journal on Software Tools for Technology Transfer, Vol. 5, No. 4, pp. 308-319, 2004. https://doi.org/10.1007/s10009-003-0132-7
- J. Rinehart, et al., "Closed-loop systems in anesthesia: is there a potential for closed-loop fluid management and hemodynamic optimization?" Anesth Analg., Vol. 114, No. 1, pp. 130-143, 2012. https://doi.org/10.1213/ANE.0b013e318230e9e0