CIS Seminar - Dealing with Uncertainties in Cyber-Physical Systems -- A Real-Time Scheduling Theory Point of View

CIS Seminar

3:00 PM, Friday February 26 2016
235 Weir Hall

Dealing with Uncertainties in Cyber-Physical Systems -- A Real-Time Scheduling Theory Point of View

Abstract: Many Cyber-Physical Systems are required to be of high confidence, sometimes with provable correctness. However, models and analytical results in traditional real-time scheduling theory are unable to cope with the full complexity of today's CPS. As embedded systems become more and more advanced and rich in functionalities, uncertainties in their run-time behavior, e.g., the gaps between average-case and worst-case execution times of pieces of code, are becoming more significant, leading to intolerable waste of computing capacity. In this talk, I will examine the relationship between real-time scheduling theory and the discipline of Cyber-Physical Systems, and report some of our recent progress in better modeling such uncertainties and analyzing schedulability in real-time CPS.

Bio: Zhishan Guo is a research assistant working with Prof. Sanjoy Baruah in the Department of Computer Science at the University of North Carolina at Chapel Hill. His current research interests include real-time scheduling, cyber-physical systems, and neural networks and their applications. He received the Bachelor degree in Computer Science and Technology from Tsinghua University, China, in 2009, and the M.Phil degree in Mechanical Automation and Engineering from the Chinese University of Hong Kong, Hong Kong, in 2011. He is currently working toward the PhD degree in Computer Science at the University of North Carolina at Chapel Hill, Chapel Hill, USA, and is expected to graduate in Summer 2016.