Formal analysis of Fresenius infusion pump (FIP)
Abstract
References
Recommendations
Safety-assured development of the GPCA infusion pump software
EMSOFT '11: Proceedings of the ninth ACM international conference on Embedded softwareThis paper presents our effort of using model-driven engineering to establish a safety-assured implementation of Patient-Controlled Analgesic (PCA) infusion pump software based on the generic PCA reference model provided by the U.S. Food and Drug ...
Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project
HCMDSS-MDPNP '07: Proceedings of the 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play InteroperabilityAs software becomes ever more ubiquitous and complex in medical devices, it becomes increasingly important to assure that it performs safely and effectively. The critical nature of medical devices necessitates that the software used therein be reliable ...
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
Reliability of medical devices such as the CARA Infusion Pump Control System is of extreme importance given that these devices are being used on patients in critical condition. The Infusion Pump Control System includes embedded processors and ...
Comments
Information & Contributors
Information
Published In
- General Chair:
- Chenyang Lu,
- Program Chairs:
- P. R. Kumar,
- R. Stoleru
Sponsors
- IEEE-CS\TCRT: TC on Real-Time Systems
- SIGBED: ACM Special Interest Group on Embedded Systems
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
Conference
- IEEE-CS\TCRT
- SIGBED
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 82Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in