Institute of Computer Languages
Compilers and Languages Group

Talks 2011 - Reinhard Wilhelm

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Reinhard Wilhelm, Prof. Dr. Dr. h.c. mult.

Universität des Saarlandes, Saarbücken, Deutschland

über

Timing Analysis and Timing Predictability

Datum: Donnerstag, 13. Oktober 2011
Zeit: 16:00 c.t.
Ort: EI 10 Fritz Paschke Hörsaal, Gsshausstrasse 25-29 (Neubau), Erdgeschoss

Zusammenfassung:

Hard real-time systems are subject to stringent timing constraints, which are dictated by the surrounding physical environment. A schedulability analysis has to be performed in order to guarantee that all timing constraints will be met. Existing techniques for schedulability analysis require upper bounds for the execution times of all the system's tasks to be known. These upper bounds are commonly called worst-case execution times (WCETs). The WCET-determination problem has become non-trivial due to the advent of processor features such as caches, pipelines, and all kinds of speculation, which make the execution time of an individual instruction locally unpredictable. Such execution times may vary between a few cycles and several hundred cycles.
A combination of Abstract Interpretation (AI) with Integer Linear Programming (ILP) has been successfully used to determine precise upper bounds on the execution times of real-time programs. The task solved by abstract interpretation is to compute invariants about the processor's execution states at all program points. These invariants describe the contents of caches, of the pipeline, of prediction units etc. They allow to verify local safety properties, safety properties who correspond to the absence of "timing accidents". Timing accidents, e.g. cache misses, pipeline stalls are reasons for the increase of the execution time of an individual instruction in an execution state.
The technology and tools have been used in the certification of several time-critical subsystems of the Airbus A380. The AbsInt tool, aiT, is the only tool worldwide, validated for these avionics applications I will give an introduction to our timing-analysis method, present results about the predictability of cache architectures, and give an overview of current work and open problems.

Kurzbiographie von Reinhard Wilhelm

Prof. Reinhard Wilhelm is a full Professor of Computer Science at the Saarland University, Saarbrücken and the Scientific Director of the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany. He is the cofounder of AbsInt, a company developing software tools for embedded systems. The research activities of Prof. Reinhard Wilhelm cover a wide range of topics, including compiler generation, program analysis, and software visualisation. His contributions to research have been honored by several awards and prizes. To name a few, Prof. Wilhelm is an ACM Fellow, and he received the European IST Prize with the spin-off company AbsInt, the Alwin Walther Medal, the Konrad-Zuse Medal and the ACM Distinguished Service Award.
(http://rw4.cs.uni-saarland.de/people/wilhelm.shtml)

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)