"Closing the Loop with Medical Cyber-Physical Systems"
|Speaker||Miroslav Pajic of the University of Pennsylvania|
|Location:||Coordinated Science Laboratory, Room 301|
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 percent 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, Pajic will describe his 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, Pajic 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.
Pajic is a postdoctoral researcher in the Department of Electrical and Systems Engineering and PRECISE Center (Penn Research in Embedded Computing and Integrated System) at the University of Pennsylvania. He received his PhD and MS degrees in Electrical Engineering from the University of Pennsylvania in 2012 and 2010, and the MS 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. Pajic has 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.