Date of this Version
Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee, "Assuring the Safety of On-Demand Medical Cyber-Physical Systems", 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013) , 1-6. August 2013. http://dx.doi.org/10.1109/CPSNA.2013.6614238
We present an approach to establish safety of on-demand medical cyber-physical systems which are assembled to treat a patient in a specific clinical scenario. We treat such a system as a virtual medial device (VMD) and propose a model-based framework that includes a modeling language with formal semantics and a medical application platform (MAP) that provides the necessary deployment support for the VMD models.
1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013)
© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Date Posted: 06 September 2013
This document has been peer reviewed.