OASIcs.MCPS.2014.94.pdf
- Filesize: 0.49 MB
- 6 pages
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.
Feedback for Dagstuhl Publishing