Institute of Computer Languages
Compilers and Languages Group

Talks 2009 - Armelle Bonenfant, Marianne de Michiel

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

Ass.-Prof. Dr. Armelle Bonenfant


Ass.-Prof. Dr. Marianne de Michiel

Université Paul Sabatier, TRACES/IRIT, Toulouse, France


Loop Analysis with oRange

Datum: Dienstag, 21. April 2009
Zeit: 14:00 (s.t.)
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)


One of the important steps in processing the worst case execution time (WCET) of a program is to determine the loops upper bounds. Such bounds are crucial when verifying real-time systems. We will present oRange, our tool which performs a static loop bound analysis associating flow analysis and abstract interpretation. It considers binary operators (+, -, *, /) for the loop increment, nested loops, non-recursive function calls, simple loop conditions (==, !=, <, ≤, >, ≥, &&) and loop upper bound values (instead of intervals). We will present the different steps of the analysis and some results on the Mälardalen benchmark suite.

About Armelle Bonenfant and Marianne de Michiel

The research interests of the TRACES team include hardware issues of real-time embedded systems. The main goal is to guarantee that the execution time of an application code meets the system deadlines. We focus on characterizing the temporal properties of components off-the-shelves. Our target is to propose ways to use these components such that safe and tight worst-case execution time estimates can be computed. We also study architectural extensions that should improve the time predictability of the components. The estimation of the WCET requires three steps: a static analysis of the code identifies all the possible execution paths; the target hardware is modelled to determine the individual execution times of the basic blocks; then, the results of the previous steps are combined to evaluate an upper bound of the global execution time. Part of our work concerns the first and second steps.
Dr. Marianne de Michiel is an assistant professor; she works especially on loop bounds. Armelle Bonenfant is an assistant professor, too. She joined the team in 2007 and collaborates with Marianne de Michiel.

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

   About Us
      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
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)