Campus Event Calendar
Event Entry
What and Who
Timing Analysis of Mixed Time / Event-Triggered Multi-Mode Systems
Linh Phan
University of Pensylvania
SWS Colloquium
SWS, RG1
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 19 July 2010
13:00
90 Minutes
G26
206
Kaiserslautern
Abstract
Many embedded systems operate in multiple modes, where mode
switches can be both time- as well as event-triggered. While timing and
schedulability analysis of the system while it is operating in a single
mode has been well studied, it is always difficult to piece together the
results from different modes in order to deduce the timing properties of
a multi-mode system. In this talk, I will present a model and associated
analysis techniques to describe embedded systems that process multiple
bursty/complex event/data streams and in which mode changes are both
time- and event-triggered. Compared to previous studies, our model is
very general and can capture a wide variety of real-life systems. Our
analysis techniques can be used to determine different performance
metrics, such as the maximum fill-levels of different buffers and the
delays suffered by the streams being processed by the system. The main
novelty in our analysis lies in how we piece together results from the
different modes in order to obtain performance metrics for the full
system.
switches can be both time- as well as event-triggered. While timing and
schedulability analysis of the system while it is operating in a single
mode has been well studied, it is always difficult to piece together the
results from different modes in order to deduce the timing properties of
a multi-mode system. In this talk, I will present a model and associated
analysis techniques to describe embedded systems that process multiple
bursty/complex event/data streams and in which mode changes are both
time- and event-triggered. Compared to previous studies, our model is
very general and can capture a wide variety of real-life systems. Our
analysis techniques can be used to determine different performance
metrics, such as the maximum fill-levels of different buffers and the
delays suffered by the streams being processed by the system. The main
novelty in our analysis lies in how we piece together results from the
different modes in order to obtain performance metrics for the full
system.
Contact
Claudia Richter
9325 688
--email hidden
Video Broadcast
Yes
Saarbrücken
E1 5
5th floor
passcode not visible
logged in users only
Claudia Richter, 07/14/2010 15:12 -- Created document.