License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.MCPS.2014.94
URN: urn:nbn:de:0030-drops-45263
URL: http://drops.dagstuhl.de/opus/volltexte/2014/4526/
Go to the corresponding OASIcs Volume Portal


Feng, Lu ; King, Andrew L. ; Chen, Sanjian ; Ayoub, Anaheed ; Park, Junkil ; Bezzo, Nicola ; Sokolsky, Oleg ; Lee, Insup

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal

pdf-format:
11.pdf (0.5 MB)


Abstract

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.

BibTeX - Entry

@InProceedings{feng_et_al:OASIcs:2014:4526,
  author =	{Lu Feng and Andrew L. King and Sanjian Chen and Anaheed Ayoub and Junkil Park and Nicola Bezzo and Oleg Sokolsky and Insup Lee},
  title =	{{A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{94--99},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4526},
  URN =		{urn:nbn:de:0030-drops-45263},
  doi =		{10.4230/OASIcs.MCPS.2014.94},
  annote =	{Keywords: Medical Cyber-Physical Systems, Safety Argument, Assurance Cases, Patient-Controlled Analgesia Infusion Pump, Closed-Loop Systems}
}

Keywords: Medical Cyber-Physical Systems, Safety Argument, Assurance Cases, Patient-Controlled Analgesia Infusion Pump, Closed-Loop Systems
Seminar: 5th Workshop on Medical Cyber-Physical Systems
Issue Date: 2014
Date of publication: 10.04.2014


DROPS-Home | Fulltext Search | Imprint Published by LZI