The development and production of medical device software and systems is a critical issue as medical device software is increasingly sophisticated and medical devices are networked. Of particular importance is how to ensure such medical device systems are safe. |
Rationale and Architecture Principles for Medical Application Platforms by
John Hatcliff, Andrew King, Insup Lee, Alasdair MacDonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger and Julian Goldman.
ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS 2012). Beijing, China, April 2012 (Invited Paper).
Challenges and Research Directions in Medical Cyber-Physical Systems by
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian,
Special Issue on Cyber-Physical Systems, Proceedings of the IEEE, Volume 100, Issue 1, pp.75-90,
January 2012 (Invited Paper)
High-Confidence Medical Device Software and Systems by
Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha,
IEEE Computer, Volume 39, Issue 4, April 2006, pages 33-38
These projects are being supported in part by NSF CNS-0834524 and TATRC/FDA
grant MIPR-6MRXMM-6093, and were supported in part by
NSF-CNS-0610297 (FDA SIR), NSF CNS-0509327, and ARO URI DAAD19-01-1-0473.
Any opinions, findings, and conclusions or recommendations expressed in this
material are those of the author(s) and do not necessarily reflect the views
of the sponsoring agencies.