Generic Infusion Pump Publications

• Generic Safety Requirements for Developing Safe Insulin Pump Software. Yi Zhang, Raoul Jetley and Paul Jones. In Journal of Diabetes Science and Technology, Volume 5, Issue 3, November 2011.
• Safety-Assured Development of the GPCA Infusion Pump Software. BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, Raoul Jetley. In International Conference on Embedded Software (EMSOFT 2011). Taipei, Taiwan, October 9-14 2011, ACM Press
• Second Insulin Pump Safety Meeting: Summary Report. Yi Zhang, Paul L. Jones, David Klonoff. In Journal of Diabetes Science and Technology, Volume 4, Issue 2, March 2010, Pages 488-493
• A Hazard Analysis for a Generic Insulin Infusion Pump. Yi Zhang, Paul Jones and Raoul Jetley. In Journal of Diabetes Science and Technology, Volume 4, Issue 2, March 2010, Pages 263-283
• Safety Requirements based Analysis of Infusion Pump Software. Raoul Jetley and Paul Jones. In Proceedings of the Workshop on Software and Systems for Medical Devices and Services, held in conjunction with IEEE Real Time Systems Symposium, Tucson, AZ, December 2007, Pages 21-24.
• Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project. David Arney, Raoul Jetley, Paul Jones, Insup Lee and Oleg Sokolsky. In Proceedings of the High Confidence Medical Device Software and Systems (HCMDSS), Boston, June 2007, Pages 23-33. ISBN: 978-0-7695-3081-8.

Technical Reports

• The Generic Patient Controlled Analgesia Pump Model. David Arney, Raoul Jetley, Yi Zhang, Paul Jones, Oleg Sokolsky, Insup Lee, Arnab Ray. Published online at the University of Pennsylvania Computer Science Web Page (http://rtg.cis.upenn.edu/gip-UPenn/gip_pub.html), August 2009.
• Generic Infusion Pump Hazard Analysis and Safety Requirements. David Arney, Raoul Jetley, Paul Jones, Insup Lee, Oleg Sokolsky. In University of Pennsylvania Technical Report MS-CIS-08-31, February 2009.