Pakistan-US Science and Technology Cooperation Program |
Phase 7 (2017 Deadline)
Formal verification methodologies and tools to ensure safety of control software used in infusion pumps
US Partner: Sudarshan Srinivasan, North Dakota State University
Pakistan Partner: Sana Shuja, COMSATS Institute of Information and Technology
An infusion pump is a medical device that delivers fluids, such as nutrients and medications, into a patient’s body in controlled amounts. Infusion pumps are in widespread use in clinical settings such as hospitals, nursing homes, and in the home. This project aims to reduce software-related malfunctions of infusion pumps to decrease morbidity and mortality.