Addressing Time and Security in Cyber-Physical Systems

Abstract: Cyber-physical systems such as autonomous vehicles, smart buildings, and industrial automation systems, are poised to bring immense economic and societal benefits. However, the design and operation of these systems faces tremendous challenges, many of which center around two factors – time and security. In this talk, I will discuss some of the unique timing and security challenges for cyber-physical systems, and introduce our work in addressing them. These include 1) a software synthesis framework that addresses timing holistically throughout task generation and task mapping, and enables trade-offs with emerging design metrics such as security and extensibility, 2) a contract-based framework that quantitatively explores timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and 3) co-design of control layer and embedded platform for cyber-physical security and its application in automotive electronic systems and vehicular networks.

Bio: Dr. Qi Zhu is an Assistant Professor at the Department of Electrical and Computer Engineering in University of California, Riverside. Prior to joining UCR, he was a research scientist at the Strategic CAD Labs in Intel from 2008 to 2011. Dr. Zhu received a Ph.D. in EECS from University of California, Berkeley in 2008, and a B.E. in CS from Tsinghua University in 2003. His research interests include model-based design and software synthesis for cyber-physical systems, CPS security, energy-efficient buildings and infrastructures, and system-on-chip design. He received best paper awards at the Design Automation Conference (DAC) 2006, DAC 2007, International Conference on Cyber-Physical Systems (ICCPS) 2013, and ACM Transactions on Design Automation of Electronic Systems (TODAES) 2016. He received the National Science Foundation (NSF) CAREER award in 2016. Dr. Zhu has served on the technical program committees and as session organizer and chair for a number of international conferences, including DAC, ICCAD, DATE, ASP-DAC, CODES+ISSS, RTSS, RTAS, SAC, SIES, MEMOCODE, etc. He is the education committee chair of the IEEE Technical Committee on Cyber-Physical Systems. He received the ACM SIGDA Service Award in 2015.

Hosted by Pierluigi Nuzzo
Center for Cyber-Physical Systems and the Internet of Things (CCI) http://cci.usc.edu
Ming Hsieh Institute for Electrical Engineering (MHI) http://mhi.usc.edu