People/Web Search Calendar Emergency Info A-Z Index UVA Email University of Virginia

Computer Science Colloquia

Miroslav Pajic, University of Pennsylvania

Monday, February 24, 2014

3:30 PM, Rice Hall, Rm. 130 (Light refreshments after the seminar Rice Hall 4th floor atrium)

HOSTS: Alf Weaver

Closing the Loop with Medical Cyber-Physical Systems


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. In either case, the devices are physically connected to the body and exert direct control over some aspect of patient physiology. With the goal to design a model-driven development tool-chain for certifiable Medical CPS, I will walk through (a) formal modeling and verification of the closed-loop system using timed automata and simulation-based modeling, (b) automatic model translation from UPPAAL to Simulink/Stateflow for simulation-based testing, and (c) automatic code generation for platform-level testing of real devices within the closed-loop context.

Bio: 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. His research interests focus on the design and analysis of cyber-physical systems and in particular real-time and embedded systems, distributed/networked control system, and high-confidence medical device systems. Dr. Pajic received various awards including the ACM SIGBED Frank Anger Memorial Award, the Joseph and Rosaline Wolf Award for Best Dissertation from Penn Engineering, the Best Student Paper Award at the 2012 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), and Honeywell User Group Wireless Innovation Award.