2026-10-08T23:57:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4526 2024-03-06T09:29:27Z ddc:004 open_access

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal Feng, Lu King, Andrew L. Chen, Sanjian Ayoub, Anaheed Park, Junkil Bezzo, Nicola Sokolsky, Oleg Lee, Insup Medical Cyber-Physical Systems Safety Argument Assurance Cases Patient-Controlled Analgesia Infusion Pump Closed-Loop Systems The 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Lu Feng and Andrew L. King and Sanjian Chen and Anaheed Ayoub and Junkil Park and Nicola Bezzo and Oleg Sokolsky and Insup Lee 2014 Is Part Of OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.MCPS.2014.94 urn:nbn:de:0030-drops-45263 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.94 eng https://creativecommons.org/licenses/by/3.0/legalcode