The Department of Computer Science presents Zheng Dong from Wayne State University

Warning Icon This event is in the past.

Date: October 1, 2019
Time: 11:30 a.m. - 12:20 p.m.
Location: Old Main #106 | Map
4841 Cass
Detroit, MI 48201
Category: Seminar

Bringing Predictability Guarantees to Safety-Critical Cyber-Physical Systems


To guarantee predictable temporal correctness in safety-critical cyber-physical systems, such as the autonomous driving system, a difficult problem is to analyze the execution behaviors of real-time tasks that may access heterogeneous resources including both CPU cores and shared resources (e.g., memory or accelerators). A traditional approach is to analyze schedulability from a core-centric perspective. The core-centric perspective is sound for traditional embedded systems where computing resources may be insufficient while the contention on shared resources is often light. However, it is not applicable to many CPS supporting rather resource-demanding workloads. Due to the large number of physical components involved, the operations of CPS include sensing, processing and storage of massive big data. In most CPS, shared resources such as memory may become the actual scheduling bottleneck, causing the worst-case latency bound on the shared resource to be rather pessimistic or even impossible to upper bound. Motivated by this observation, we argue that it may be much more viable to resolve this multi-resource scheduling problem from the counter-intuitive shared-resource centric perspective since tasks may experience much lighter contention on CPU cores. In this talk, I will present a new analysis framework to guarantee predictable temporal correctness in safety-critical CPS, which is counter-intuitive yet efficient: we treat the shared resource as the first-class units and bound the worst-case latency a task may experience on the CPU cores (i.e., treating CPU cores as “I/O”).


Zheng Dong is currently a Tenure Track Assistant Professor at Wayne State University. He received the B.S. degree in computer science from Wuhan University, China, in 2007, and the M.S. degree in software engineering from the University of Science and Technology of China, in 2011. During the past few years, he have had a diverse range of independent research experiences spanning cyber-physical systems, real-time scheduling theory, wireless sensor networks, and mobile-edge computing. His technical contributions have led to 20 peer-reviewed articles (18 as first author), including 5 publications in RTSS (the best conference in the field of embedded and real-time systems), and premier journals such as IEEE/ACM Transactions on Networking. He received the Outstanding Paper Award at RTSS 2017 and the Best Paper Runner-up at RTCSA 2017.


LaNita Stewart




Academic Staff, Alumni, Community, Current Graduate Students, Current Undergraduate Students, Faculty, Parents, Prospective Students, Staff

Add to my calendar

Save to iCal