Computer Science Colloquia
Thursday, March 31, 2011
Host: Jack Stankovic
Olsson Hall 228E/236D, 15:00:00
Closing the loop with Cyber-Physical Modeling
Cyber-Physical Systems are the next generation of embedded systems with the tight integration of computing, communication and control of “messy” plants. In this talk, I will walk through some of our recent efforts in high-confidence medical device software and systems. Designing bug-free medical device software is challenging, especially in complex implantable devices that may be used in unanticipated contexts. Safety recalls of pacemakers between 1990 and 2000 affected over 600,000 devices, 200,000 of which were due to software issues. There is currently no formal methodology or open experimental platform to validate and verify the correct operation of medical device software. To this effect, a real-time Virtual Heart Model has been developed to test, validate and verify pacemaker device software in a closed loop. We present a methodology to construct a timed-automata model of the heart and devices for functional validation and formal verification software of implantable cardiac devices. This project contributes toward the generic pacemaker project with the FDA.
If time permits, I will describe our recent investigations across wireless control/actuator networks, green scheduling for building automation, anytime algorithms for GPUs, UAV swarms and programmable vehicles.
Rahul Mangharam is the Stephen J. Angello Chair and Assistant Professor in the Dept. of Electrical & Systems Engineering and Dept. of Computer & Information Science at the University of Pennsylvania. He directs the Real-Time and Embedded Systems Lab at Penn. His interests are in real-time scheduling algorithms for networked embedded systems with applications in automotive systems, medical devices and industrial control networks.
He received his Ph.D. in Electrical & Computer Engineering from Carnegie Mellon University where he also received his MS and BS. In 2002, he was a member of technical staff in the Ultra-Wide Band Wireless Group at Intel Labs. He was an international scholar in the Wireless Systems Group at IMEC, Belgium in 2003. He has worked on ASIC chip design at Marconi Communications (1999) and Gigabit Ethernet at Apple Computer Inc. (2000).