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

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



PDF
Thumbnail PDF

File

OASIcs.MCPS.2014.94.pdf
  • Filesize: 0.49 MB
  • 6 pages

Document Identifiers

Author Details

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

Cite As Get BibTex

Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee. A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 94-99, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014) https://doi.org/10.4230/OASIcs.MCPS.2014.94

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.

Subject Classification

Keywords
  • Medical Cyber-Physical Systems
  • Safety Argument
  • Assurance Cases
  • Patient-Controlled Analgesia Infusion Pump
  • Closed-Loop Systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail