Date of this Version
Insup Lee and Oleg Sokolsky, "Medical Cyber Physical Systems", 47th Design Automation Conference (DAC '10) , 743-748. June 2010. http://dx.doi.org/10.1145/1837274.1837463
We discuss current trends in the development and use of high-confidence medical cyber physical systems (MCPS). These trends, including increased reliance on software to deliver new functionality, wider use of network connectivity in MCPS, and demand for continuous patient monitoring, bring new challenges into the process of MCPS development and at the same time create new opportunities for research and development.
47th Design Automation Conference (DAC '10)
© ACM 2010. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 47th Design Automation Conference (DAC '10), http://dx.doi.org/10.1145/1837274.1837463.
Cyber-Physical Systems, Medical Cyber-Physical Systems, High-Confidence Medical Systems, Medical Device Interoperability & Compositionality, Physiological Closed Loop
Additional Filesdac-invited-pp.pdf (142 kB)
postscript version of the paper
dac-invited-pp.pdf (142 kB)
postscript version (second try)
Date Posted: 29 July 2010
This document has been peer reviewed.