DocumentCode
3255668
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
fYear
2013
fDate
19-20 Aug. 2013
Firstpage
1
Lastpage
6
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on
Conference_Location
Taipei
Type
conf
DOI
10.1109/CPSNA.2013.6614238
Filename
6614238
Link To Document