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.

AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI   Info

AG Audience

English

15 Minutes

Kaiserslautern

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.

Vera Schreiber

--email hidden

Yes

Saarbrücken

E1 5

029

passcode not visible

logged in users only