The Pharos Project: Testing Complex Cyber-Physical Systems

Tuesday, February 9, 2010 - 12:00pm

By Drs. Christine Julien and Sriram Viswanath (Principal Investigators)
Drew Stovall (Post-Doctoral Fellow)
Nicholas Paine (Ph.D. Student)

Cyber-physical systems are those that require the combination and coordination of many different computational elements to interact with the physical world. These systems are not only complicated but also complex and unpredictable. Examples of cyber-physical systems include autonomous automotive systems (real-time traffic monitoring, collision avoidance, intersection management), medical monitoring (elderly, Alzheimer&#39