The National Academies of Sciences, Engineering and Medicine
Pakistan - U.S. Science and Technology Cooperation Program
Development, Security, and Cooperation
Policy and Global Affairs
Home About Us For Applicants Funded Projects Special Events
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
Project summary
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.