Model-Based Dependability Analysis of Programmable Drug Infusion Pumps


Infusion pumps are commonly used in home/hospital care to inject drugs into a patient at programmable rates over time. However, in practice, a combination of faults including software errors, mechanical failures and human error can lead to catastrophic situations, causing death or serious harm to the patient. Dependability analysis techniques such as… (More)
DOI: 10.1007/978-3-642-24310-3_22


12 Figures and Tables