Skip to main content
High-Confidence Medical Device Software and Systems
Departmental Papers (CIS)
  • Insup Lee, University of Pennsylvania
  • George J Pappas, University of Pennsylvania
  • Rance Cleaveland, University of Maryland
  • John Hatcliff, Kansas State University
  • Bruce H Krogh, Carnegie Mellon University
  • Peter Lee, Carnegie Mellon University
  • Harvey Rubin, University of Pennsylvania
  • Lui Sha, University of Illinois at Urbana-Champaign
Date of this Version
Document Type
Journal Article
Copyright 2006 IEEE. Reprinted from IEEE Computer, Volume 39, Issue 4, April 2006, pages 33-38.

This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Given the shortage of caregivers and the increase in an aging US population, the future of US healthcare quality does not look promising and definitely is unlikely to be cheaper. Advances in health information systems and healthcare technology offer a tremendous opportunity for improving the quality of care while reducing costs.

Citation Information
Insup Lee, George J Pappas, Rance Cleaveland, John Hatcliff, et al.. "High-Confidence Medical Device Software and Systems" (2006)
Available at: