Generic Infusion Pump Publications
- Yi Zhang, Raoul Jetley and Paul Jones. Generic Safety Requirements for Developing Safe Insulin Pump Software. Journal of Diabetes Science and Technology, Volume 5, Issue 3, November 2011.
- BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, Raoul Jetley, Safety-Assured Development of the GPCA Infusion Pump Software, 2011 (EMSOFT 2011). Taipei, Taiwan, October 9-14 2011, ACM Press
- Yi Zhang, Paul L. Jones, David Klonoff, Second Insulin Pump Safety Meeting: Summary Report, Journal of Diabetes Science and Technology, Vol 4, Issue 2, March 2010, Pages 488-493
- Yi Zhang, Paul Jones and Raoul Jetley. A Hazard Analysis for a Generic Insulin Infusion Pump. Journal of Diabetes Science and Technology, Volume 4, Issue 2, Pages 263-283, March 2010.
- Raoul Jetley and Paul Jones. Safety Requirements based Analysis of Infusion Pump Software. Proceedings of the Workshop on Software and Systems for Medical Devices and Services, held in conjunction with IEEE Real Time Systems Symposium, Tucson, AZ, Pages 21-24, December 2007.
- David Arney, Raoul Jetley, Paul Jones, Insup Lee and Oleg Sokolsky. Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project. Proceedings of the High Confidence Medical Device Software and Systems (HCMDSS), Boston, Pages 23-33, June 2007. ISBN: 978-0-7695-3081-8.
Technical Reports
- David Arney, Raoul Jetley, Yi Zhang, Paul Jones, Oleg Sokolsky, Insup Lee, Arnab Ray. The Generic Patient Controlled Analgesia Pump Model, Published online at the University of Pennsylvania Computer Science Web Page (http://rtg.cis.upenn.edu/gip.php3), August 2009.
- David Arney, Raoul Jetley, Paul Jones, Insup Lee, Oleg Sokolsky. Generic Infusion Pump Hazard Analysis and Safety Requirements, University of Pennsylvania Technical Report MS-CIS-08-31, February 2009.
|