Lee, InsupSokolsky, Oleg2023-05-222023-05-222010-06-172010-07-13https://repository.upenn.edu/handle/20.500.14332/6484We 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.© 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.CPS MedicalCyber-Physical SystemsMedical Cyber-Physical SystemsHigh-Confidence Medical SystemsMedical Device Interoperability & CompositionalityPhysiological Closed LoopPresentation