Personal tools
You are here: Home Events ICSA Colloquium Talk- Dr Heiko Falk

ICSA Colloquium Talk- Dr Heiko Falk

— filed under:

Presentation by Dr Heiko Falk. University of Dortmund. Title: Compilation and Optimization for Hard Real-Time Systems.

What
  • Colloquium Series
When Jul 14, 2011
from 03:30 PM to 04:30 PM
Where 4.31/4.33
Add event to calendar vCal
iCal

Abstract:

During the design of software for hard real-time systems, the  worst-case execution time (WCET) of a program plays an important role. Only if the WCET is known, it can be guaranteed that the software of a  real-time system always terminates within given timing constraints.

However, the current state of the art in designing software for hard  real-time systems is heavily unsafe. On the one hand, the actual  industrial design practice relies on measurements or simulations so  that no guarantees about the worst-case timing of a piece of software  can be derived. On the other hand, current compilers usually optimize  the average-case execution time (ACET) of a program, instead of the WCET. Again, there is no way to derive conclusions about a program's worst-case timing if the program is optimized w.r.t. the ACET.

This talk presents a WCET-aware compiler for hard real-time systems.  By tightly coupling the compiler with a tool for static WCET analysis,  it is possible for the very first time to integrate a formal WCET timing model into a compiler. This WCET timing model provides the  compiler with valuable data about the worst-case behavior of a program to be compiled and optimized.

This timing model is then used by specialized optimizations which achieve a fully automatic minimization of the WCET. In this talk, two WCET minimizing optimizations are presented which focus in particular on the memory hierarchy of embedded processors: register allocation and scratchpad memory allocation.

 

Bio:

Heiko Falk received his Ph.D. in Computer Science from the University of Dortmund (Germany) in 2004. From 2004 on until today, he works as assistant professor in the embedded systems group of Prof. Marwedel at Dortmund.

The work of Dr. Falk was accepted by publishers and international conferences and workshops of highest quality, including DAC, DATE, CODES+ISSS, ECRTS and Kluwer. Two of his publications were proposed as CODES+best paper candidate, e.g. at DATE 2003. In addition, he published his very first book on Source Code Optimization Techniques at Kluwer in 2004.

 

In the past years, Dr. Falk served as PC member in the ESTIMedia and ODES series of international workshops. From 2007 to 2009, he was  general chair of the International Workshop on Software and Compilers for Embedded Systems (SCOPES). He is member of the SCOPES steering board.
Document Actions