text-only page produced automatically by Usablenet Assistive Skip all navigation and go to page content Skip top navigation and go to directorate navigation Skip top navigation and go to page navigation
National Science Foundation
design element
Search Awards
Recent Awards
Presidential and Honorary Awards
About Awards
Grant Policy Manual
Grant General Conditions
Cooperative Agreement Conditions
Special Conditions
Federal Demonstration Partnership
Policy Office Website

Award Abstract #1253842

CAREER: Medical Cyber-Physical Systems

Division Of Computer and Network Systems
divider line
Initial Amendment Date: February 26, 2013
divider line
Latest Amendment Date: April 21, 2015
divider line
Award Number: 1253842
divider line
Award Instrument: Continuing grant
divider line
Program Manager: Gurdip Singh
CNS Division Of Computer and Network Systems
CSE Direct For Computer & Info Scie & Enginr
divider line
Start Date: June 1, 2013
divider line
End Date: May 31, 2018 (Estimated)
divider line
Awarded Amount to Date: $246,000.00
divider line
Investigator(s): Rahul Mangharam rahulm@seas.upenn.edu (Principal Investigator)
divider line
Sponsor: University of Pennsylvania
Research Services
Philadelphia, PA 19104-6205 (215)898-7293
divider line
divider line
Program Reference Code(s): 1045, 1187, 7354, 7918
divider line
Program Element Code(s): 7354, 7918


This project develops the foundations of modeling, synthesis and development of verified medical device software and systems, from verified closed-loop models of the device and organ(s). The effort spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps that have multiple networked medical systems. In both cases, the devices are physically connected to the body and exert direct control over the physiology and safety of the patient-in-the-loop. The goal is to ensure the device will never drive the patient into an unsafe state, while providing effective therapy. The contributions of are in three areas: closed-loop patient-device modeling; quantitative verification for optimized patient-specific devices; platforms for life-critical systems. Integrated modeling methodologies are developed to produce both the functional physiological signals, for clinically relevant testing with a medical device, and also generate the formal timing of device-patient interaction for formal verification. Starting with the problem of verifying the safety and correctness of medical device software, probabilistic patient models based on physiological data are then used to develop quantitative verification techniques to maintain the therapy?s efficacy on the patient and operational efficiency of the device. To facilitate participation of the CPS community, the Food and Drug Administration (FDA), physicians and manufacturers, open source libraries of device/patient models, software tools for verification and model translation and hardware platforms for testing with real medical devices are developed.

The closed-loop design and verification techniques for medical device software and patients, developed here, have direct potential benefits on human health, and the quality and cost of medical care. Design of bug-free and safe medical device software is challenging, especially in complex implantable devices that control and actuate organs who's response is not fully understood. Safety recalls of pacemakers and implantable ?cardioverter? defibrillators between 1990 and 2000 affected over 600,000 devices. Of these, 200,000 or 41%, were due to firmware issues (i.e. software) that continue to increase in frequency. There is currently no formal methodology or open experimental platform to test and verify the correct operation of medical device software within the closed-loop context of the patient. If successful, this project has potential to not only increase the safety of such devices, but also to accelerate the development and certification process. The latter could reduce costs, and shorten the time to market for new devices. The project also has an extensive education and outreach component, including curriculum development in medical cyber-physical systems, involvement of undergraduate and graduate students in research, and cooperation with hospitals, makers of medical devices, and the FDA. The cross-cutting nature of the project brings together communities involving clinical physicians, electrical engineers, computer scientists and regulators of health care safety.


Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

M. Pajic, Z. Jiang, I. Lee, O. Sokolsky and R. Mangharam. "Safety-critical Medical Device Development using the UPP2SF Model Translation Tool," ACM Transactions of Embedded Computing Systems (TECS), v.13, 2014. 

Z. Jiang, M. Pajic, S. Moarref, R. Alur, and R. Mangharam. "Closed-loop Verification of Medical Devices with Model Abstraction and Refinement," International Journal of Software Tools for Technology Transfer (STTT), v.14, 2014. 

Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam. "Safety-Critical Medical Device Development Using the UPP2SF Model," ACM Transactions on Embedded Computing Systems (TECS), v.13, 2014. 


Please report errors in award information by writing to: awardsearch@nsf.gov.



Print this page
Back to Top of page
Research.gov  |  USA.gov  |  National Science Board  |  Recovery Act  |  Budget and Performance  |  Annual Financial Report
Web Policies and Important Links  |  Privacy  |  FOIA  |  NO FEAR Act  |  Inspector General  |  Webmaster Contact  |  Site Map
National Science Foundation Logo
The National Science Foundation, 4201 Wilson Boulevard, Arlington, Virginia 22230, USA
Tel: (703) 292-5111, FIRS: (800) 877-8339 | TDD: (800) 281-8749
  Text Only Version