King, Andrew L.Sokolsky, OlegLee, InsupFeng, Lu2023-05-222023-05-222013-08-192013-08-29https://repository.upenn.edu/handle/20.500.14332/6827We 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.© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.CPS MedicalComputer EngineeringComputer SciencesPresentation