Verimag

Seminar details

Auditorium IMAG
5 July 2016 - 14h00
Challenges with Medical Cyber-Physical Systems
by Rahul Mangaram from University of Pennsylvania



Abstract: This talk will focus on two challenge problems with achieving high confidence in medical device software and systems:

1. From Verified Models to Verified Code for Implantable Medical Devices
The design of bug-free and safe software is challenging, especially in complex implantable devices that control and actuate organs whose response is not fully understood. Currently, over 15% of all medical device recalls are due to software issues. I will describe our efforts to develop the formal foundations of verified closed-loop models of implantable cardiac devices and the heart to the synthesis of verified medical device software and systems.

2. Computer Aided Clinical Trials
Clinical trials in humans and animals cost between $10-$20 million, take between 4-6 years and suffer from a high failure rate. I will describe an early effort towards using computer modeling as regulatory-grade evidence for medical device certification. Starting from a database of 100's of real patient signal records, we develop and use a large in-silico cohort consisting of 10,000+ heart models to improve the planning and execution of a clinical trial for comparative analysis of algorithms in implantable cardiac devices. With our in-silico cohort we are able to provide early insight prior to a clinical trial by generating patient populations across a range of heart conditions and distributions and also feed the same signals to multiple devices with different configurations.

Bio:
Rahul Mangharam is an Associate Professor in the Dept. of Electrical & Systems Engineering and Dept. of Computer & Information Science at the University of Pennsylvania. His interests are in cyber-physical systems which involve the tight coupling of communication, computation and control with physical systems. His current focus is on applications within medical devices, energy efficient buildings, automotive systems and industrial wireless control networks.
Rahul received the 2016 US Presidential Early Career Award (PECASE), the 2016 DoE CleanTech Prize, the 2014 IEEE Benjamin Franklin Key Award, 2013 NSF CAREER Award, 2012 Intel Early Faculty Career Award and was selected by the National Academy of Engineering for the 2012 US Frontiers of Engineering. He was the Stephen J. Angelo Term Chair Assistant Professor at the University of Pennsylvania from 2008-2013. He received his Ph.D. in Electrical & Computer Engineering from Carnegie Mellon University where he also received his MS and BS in 2007, 2002 and 2000 respectively.




Rahul Mangaram will also give an invited talk on July 4, in the context of the FADEX programme:
http://www.france-science.org/French-American-Doctoral-Exchange,8401.html

The Verimag seminar is another one.

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 915297