Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Timing Guarantees for Cyber-Physical Systems
Speaker:Linh Thi Xuan Phan
coming from:University of Pennsylvania
Speakers Bio: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.

Event Type:SWS Colloquium
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Monday, 15 February 2016
Time:10:30
Duration:15 Minutes
Location:Kaiserslautern
Building:G26
Room:111
Abstract
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.
Contact
Name(s):Vera Schreiber
Video Broadcast
Video Broadcast:YesTo Location:Saarbr├╝cken
To Building:E1 5To Room:029
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):

Created by:Vera Schreiber/MPI-SWS, 02/05/2016 03:20 PMLast modified by:Uwe Brahm/MPII/DE, 11/24/2016 04:13 PM
  • Vera Schreiber, 02/05/2016 03:27 PM -- Created document.