ECE Seminar: Closing the Loop with Medical Cyber-Physical Systems
Monday, March 3, 2014 - 11:30am to 12:30pm
Miroslav Pajic, Postdoctoral Researcher, Department of Electrical and Systems Engineering,University of Pennsylvania
Software-based control of life-critical Medical Cyber-Physical Systems (CPS) has become increasingly complex, especially in medical devices and systems used for physiological closed-loop control. Software failures resulted in 24% of all medical device recalls in 2011, while almost 2,000,000 software-based devices were recalled in the past decade. Consequently, there is a need for rigorous model-driven design tools for Medical CPS to ensure the correct operation of these systems that tightly integrate cyber elements (medical devices software) with physical processes (human physiology). In this talk I will describe our work on developing the foundations for modeling and synthesis of verified medical device software and systems from closed-loop models of the device and organs. This work spans both implantable medical devices such as cardiac pacemakers, and physiological networked control systems such as remotely controlled drug infusion pumps. Miroslav Pajic is a Postdoctoral Researcher in the Department of Electrical & Systems Engineering and PRECISE Center (Penn Research in Embedded Computing and Integrated System) at the University of Pennsylvania. He received his Ph.D. and M.S. degrees in Electrical Engineering from the University of Pennsylvania in 2012 and 2010, and the M.S. and Dipl. Ing. degrees from the University of Belgrade, Serbia, in 2007 and 2003, respectively.