Feng, LuKing, Andrew L.Chen, SanjianAyoub, AnaheedPark, JunkilSokolsky, OlegBezzo, NicolaLee, Insup2023-05-222023-05-222014-04-142014-05-27https://repository.upenn.edu/handle/20.500.14332/6845The emerging network-enabled medical devices impose new challenges for the safety assurance of medical cyber-physical systems (MCPS). In this paper, we present a case study of building a high-level safety argument for a patient-controlled analgesia (PCA) closed-loop system, with the purpose of exploring potential methodologies for assuring the safety of MCPS.© Lu Feng et. al.; licensed under Creative Commons Licence CC-BY.CPS MedicalMedical Cyber-Physical SystemsSafety ArgumentAssurance CasesPatient-Controlled Analgesia Infusion PumpClosed-Loop SystemsComputer EngineeringComputer SciencesPresentation