Overview Tuesday Wednesday Thursday Friday Social Events

Satellite Workshops' Day

back to workshop programme index

9.00-9.05
Welcome and opening of workshop

9.05-10.05
WCET tools

Chair: Jan Gustafsson

Challenges in Calculating the WCET of a Complex On-board Satellite Application (M. Rodriguez, N. Silva, J. Estives, L. Henriques and D. Costa)

Convenient User Annotations for a WCET Tool (C. Ferdinand, R. Heckmann, H. Theiling, and R. Wilhelm)

pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems (G. Bernat, A. Colin, S. Petters)

Discussion.

10.05-11.05
Panel discussion: Requirements of WCET tools

Jean Souyris, Jan Lindblad. Moderator: Reinhard Wilhelm

11.05-11.30
Coffee Break

11.30-12.45
WCET calculation methods

Chair: Peter Puschner

On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation (P. Guedes)

Elimination of Unstructured Loops in Flow Analysis (C. Sandberg)

A Survey of Methods to Improve ILP-based WCET Analysis (Xianfeng Li)

Discussion of Misconceptions about WCET Analysis (R. Kirner and P. Puschner)

Discussion.

12.45-13.45
Lunch

13.45-15.00
WCET calculation methods, cont.

Chair: Reinhard Wilhelm

Wishing For Compiler Support (G. Bernat, N. Holsti)

Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis (Mathieu Avila, Maxime Glaizot, Isabelle Puaut)

Comparison of Trace Generation Methods for Measurement Based WCET Analysis (S. Petters)

Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code (V. Lorente, A. Espinosa, A. Terrasa, A. Garcia and A. Crespo)

Discussion.

15.00-15.30
Low-level analysis

Chair: Guillem Bernat

Towards Designing WCET-Predictable Processors (Christine Rochange, Pascal Sainrat)

A Flexible Tradeoff between Code Size and WCET by Employing Dual Instruction Set Processors (Sheayun Lee, Jaejin Lee, Chang Yun Park, and Sang Lyul Min)

15.30-15.45
Coffee Break

15.45-16.30
New methods for analyzing WCET

Chair: Guillem Bernat

Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components

A. Tesanovic, J. Hansson and P. Uhlin, D. Nyström and C. Norström

Fully Automatic, Parametric Worst-Case Execution Time Analysis

B. Lisper

Discussion for the two last sessions.

16.30-16.35
Closing of workshop