A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
2004
International Journal on Software Tools for Technology Transfer (STTT)
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 accompanying embedded software for monitoring as well as controlling sensors and actuators that allow the embedded systems to interact with their environments. This nature of the Infusion Pump Control System adds to the complexity of assuring the
doi:10.1007/s10009-003-0132-7
fatcat:tekhw6ocbvhdbmsqk27aq2jjdq