The Community for Technology Leaders
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) (2013)
Taipei, Taiwan
Aug. 19, 2013 to Aug. 20, 2013
ISBN: 978-1-4799-0798-4
pp: 1-6
Andrew L. King , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Lu Feng , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Oleg Sokolsky , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Insup Lee , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
ABSTRACT
We present an approach to establish safety of ondemand 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.
INDEX TERMS
CITATION
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee, "Assuring the safety of on-demand medical cyber-physical systems", 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), vol. 00, no. , pp. 1-6, 2013, doi:10.1109/CPSNA.2013.6614238
97 ms
(Ver 3.3 (11022016))