WCET 2010

July 6th, 2010      Brussels, Belgium (in conjunction with the 22nd Euromicro Conference on Real-Time Systems) organised and funded by ARTIST 


8:30-9:00 Registration

9:00-10:30 Session 1: Cache and low-level analysis
Session chair: Christine Rochange
  • Timing Anomalies Reloaded
    Gernot Gebhard (slides)
  • Bounding the Effects of Resource Access Protocols on Cache Behavior
    Enrico Mezzetti, Marco Panunzio and Tullio Vardanega (slides)
  • Toward Precise PLRU Cache Analysis
    Daniel Grund and Jan Reineke (slides)
  • Integrating Abstract Caches with Symbolic Pipeline Analysis
    Stephan Wilhelm and Christoph Cullmann (slides)

10:30-11:00: Coffee break

11:00-12:30 Session 2: Measurement-based methods and flow analysis
Session chair: Chris Healy
  • Realism in Statistical Analysis of Worst Case Execution Times
    David Griffin and Alan Burns (slides)
  • Hybrid Measurement-Based WCET Analysis at the Source Level using Object-Level Traces
    Adam Betts, Nicholas Merriam, and Guillem Bernat
  • On the Use of Context Information for Precise Measurement-Based Execution Time Estimation
    Stefan Stattelmann and Florian Martin (slides)
  • A Code Policy Guaranteeing Fully Automated Path Analysis
    Benedikt Huber and Peter P. Puschner

12:30-13:30: Lunch

13:30-14:20 Invited talk
Session chair: Reinhard Wilhelm
  • WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements, and Perspectives
    Jean Souyris, Airbus

14:20-15:30 Session 3: Parallel systems, model checking
Session chair: Reinhard Wilhelm
  • WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-core
    Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, and Frantisek Mikulu (slides)
  • Towards WCET Analysis of Multicore Architectures Using UPPAAL
    Andreas Gustavsson, Björn Lisper, Andreas Ermedahl, and Paul Pettersson (slides)
  • METAMOC: Modular Execution Time Analysis using Model Checking
    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, Rene Rydhof Hansen and Kim G. Larsen (slides)

15:30-16:00: Coffee break

16:00-16:50 Session 4: Benchmarks, memory allocation
Session chair: Niklas Holsti
  • Precomputing Memory Locations for Parametric Allocations
    Jörg Herter and Sebastian Altmeyer (slides)
  • The Mälardalen WCET Benchmarks: Past, Present And Future
    Jan Gustafsson, Björn Lisper, Adam Betts, and Andreas Ermedahl (slides)

16:50-18:00 Session 5: Open session for announcements, WiP presentations, and similar
Session chair: Niklas Holsti
  • A Markovian model for branch prediction delay accounting
    Stéphane Louise
  • A Worst-Case Execution Time Perspective on JEDEC-Compliant Memory Systems
    Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, and Mateo Valero
  • Automated Amortized Resource Analysis for Hume
    Kevin Hammond, Steffen Jost, Christoph Herrmann, and Hans-Wolfgang Loidl
  • WCET Challenge announcement
    Reinhard Wilhelm

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet