Title :
Assuring the safety of on-demand medical cyber-physical systems
Author :
King, Andrew L. ; Lu Feng ; Sokolsky, Oleg ; Insup Lee
Author_Institution :
Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
Abstract :
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.
Keywords :
medical computing; patient treatment; programming language semantics; safety-critical software; virtual reality; MAP; VMD models; clinical scenario; formal semantics; medical application platform; medical treatment; model-based framework; modeling language; on-demand medical cyber-physical systems; patient treatment; safety assurance; virtual medial device; Clocks; Medical treatment; Ports (Computers); Principal component analysis; Safety; Sensors; Timing;
Conference_Titel :
Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on
Conference_Location :
Taipei
DOI :
10.1109/CPSNA.2013.6614238
