讲座信息

Design Automation for Time-Critical Cyber-Physical Systems

Zhu Qi(University of California, Riverside)

时  间:2017年5月26日14:00-15:00
地  点:张江校区微电子楼369会议室

Abstract:
Cyber-physical systems such as autonomous and semi-autonomous vehicles, industrial robots, and healthcare systems, are poised to bring immense economic and societal benefits. However, the design and operation of these systems faces tremendous challenges from the rapid increase of system scale and complexity, the close interaction with dynamic environment and human activities, the employment of multicore and distributed architectural platforms, and the stringent and often conflicting requirements on various system metrics. Many of these challenges center around three key factors – timing, security, and heterogeneity.
In this talk, I will discuss the unique timing, security and heterogeneity challenges of cyber-physical systems, and introduce our work in tackling them with design automation techniques. These include 1) a timing-driven software synthesis framework that automatically explores the large software design space and addresses timing-related metrics such as schedulability, security, performance and fault tolerance; 2) cross-layer co-design and co-management methods that bridge different system layers (control, software, hardware), integrate heterogeneous components, and trade off multiple metrics; and 3) applications of our approaches in creating efficient, reliable and secure automotive and transportation systems.

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, embedded and real-time systems, 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 NSF CAREER award in 2016 and the IEEE TCCPS (Technical Committee on Cyber-Physical Systems) Early-Career Award in 2017. 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 TCCPS. He received the ACM SIGDA Service Award in 2015.

联系人:严昌浩

 
 
 
 

 

Copyright© 2003-2018 复旦大学微电子学院
联系我们