Linh Thi Xuan Phan is an Assistant Research Professor in the Department of Computer and Information Science at the University of Pennsylvania. Her interests include real-time systems, embedded systems, cyber-physical systems, and cloud computing. Her research develops theoretical foundations and practical tools for building complex systems with provable safety and timing guarantees. She is especially interested in techniques that integrate theory, systems, and application aspects. Recently, she has been working on methods for defending cyber-physical systems against malicious attacks, as well as on real-time cloud infrastructures for safety-critical and mission-critical systems. Linh holds a Ph.D. degree in Computer Science from the National University of Singapore (NUS); she received the Graduate Research Excellence Award from NUS for her dissertation work.
Cyber-physical systems -- such as cars, pacemakers, and power plants --
need to interact with the physical world in a timely manner to ensure
safety. It is important to have a way to analyze these systems
and to prove that they can meet their timing requirements. However,
modern cyber-physical systems are increasingly complex: they can
involve thousands of tasks running on dozens of processors, many of
which can have multiple cores or shared caches. Existing techniques
for ensuring timing guarantees cannot handle this level of complexity.
In this talk, I will present some of my recent work that can help to bridge
this gap, such as overhead-aware compositional scheduling and analysis.
I will also discuss some potential applications,
such as real-time cloud platforms and intrusion-resistant
cyber-physical systems.