Publications and Presentations for Laboratory of Software Engineering

• Diana Kaufman-Rivi, Janette Collins-Mitchell and Raoul Jetley. Medical Devices in the Home Environment: Considering the Physical Environment and the Users when Designing Medical Devices. AAMI Horizons Special Issue on Home Healthcare, June 2010.
• Yi Zhang, Paul Jones and Raoul Jetley. A Hazard Analysis for a Generic Insulin Infusion Pump. Published in the Journal of Diabetes Science and Technology, Volume 4, Issue 2, Pages 263-283, March 2010. http://www.journalofdst.org/store/ index.php?act=viewProd&productId=550
• Arnab Ray and Raoul Jetley. Model Based Development: An Emerging Approach for Engineering Medical Device Software. Published in the AAMI Biomedical Instrumentation & Technology (BI&T) journal Volume 44, Number 1, Pages 51-53, February 2010. http://www.aami-bit.org/doi/pdf/10.2345/0899-8205-44.1.51
• Paul Jones, Raoul Jetley and Jay Abraham. A Formal Methods-based Verification Approach to Medical Device Software Analysis. Embedded.com, February 2010. http://www.embedded.com/design/opensource/222700533
• Raoul Jetley and Ben Chelf. Diagnosing Medical Device Software Defects using Static Analysis. Medical Device & Diagnostic Industry, Volume 31, Number 5, Pages 72-83, May 2009. http://www.mddionline.com/article/diagnosing-medical- device-software-defects-using-static-analysis
• Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones and Sandy Weininger. An Open Test Bed for Medical Device Integration and Coordination. Transactions of the IEEE 31st International Conference on Software Engineering (ICSE) 2009, Vancouver, Canada, Pages 141-151, May 2009. ISBN: 978-1-4244-3494-7. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5070972
• Arnab Ray, Raoul Jetley and Paul Jones. Engineering High Confidence Medical Device Software. Proceedings of the 2nd Joint Workshop on High Confidence Medical Devices, Software, and Systems, SIGBED Review, Volume 6, Number 2, Pages 1-7, July 2009. http://sigbed.seas.upenn.edu/archives/ 2009-07/JetleySIGBED.pdf
• Raoul Jetley, Paul Jones and Paul Anderson. Static Analysis of Medical Device Software using CodeSonar. Proceedings of the 2008 ACM SIGPLAN Workshop on Static Analysis, Pages 22-29, June 2008. http://portal.acm.org/citation.cfm?id=1394507
• Raoul Jetley and Paul Anderson. Using Static Analysis to Evaluate Software in Medical Devices. Embedded Systems Design, Volume 21, Number 4, Pages 40-44, April 2008. http://www.embedded.com/design/testissue/207000574
• 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. http://www-users.itlabs.umn.edu/classes/ Spring-2009/csci5980-med/ SMDS07_jetley_jones.pdf
• 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. http://www.computer.org/portal/ web/csdl/doi/10.1109/ HCMDSS-MDPnP.2007.36