ArtistDesign NoE

55. Participants

Björn Lisper — 2011-02-04T22:17:48Z

Peter Altenbernd, Hochschule Darmstadt Guillem Bernat, Rapita Systems Ltd Michael Bohn, Trier Univ Armelle Bonenfant, IRIT, Toulouse Mads Chr. Olesen, Univ. Aalborg Andreas Dalsgaard, Univ. Aalborg Andreas Ermedahl, Univ. Mälardalen Christian Ferdinand, AbsInt GmbH Gernot Gebhard, AbsInt GmbH Laure Gonnord, Univ. Lille David Griffin, Univ. York Daniel Grund, Univ. Saarbrücken Andreas Gustavsson, Univ. Mälardalen Kevin Hammond, Univ. Saint-Andrews Chris Healy, Furman Univ. Jörg Herter, Univ. Saarbrücken Niklas Holsti, Tidorum Oy Olha Honcharova, AbsInt GmbH Benedikt Huber, TU Wien Daniel Kästner, AbsInt GmbH Björn Lisper, Univ. Mälardalen Stephane Louise, CEA LIST Michael Mendler, Univ. Bamberg Enrico Mezzetti, Univ. Padua Stefana Nenova, AbsInt GmbH Marco Paolieri, UP Barcelona Peter Puschner, TU Wien Christine Rochange, IRIT, Toulouse Jörn Schneider, Univ. Trier Stefan Stattelmann, Univ. Saarbrücken Tullio Vardanega, Univ. Padua Simon Wegener, Univ. Saarbrücken Sitsofe Wheeler, Univ. York Jack Whitham, Univ. York Stephan Wilhelm, AbsInt GmbH

25. Dates/Submission

Björn Lisper — 2010-02-09T15:06:25Z

Important Dates

Submission deadline (EXTENDED): April 20
Notification of acceptance: May 14
Final version of papers due: June 10
WCET Workshop: July 6
Euromicro Conference on Real-Time Systems: July 7-9

Submission of Papers

Papers for the workshop must be written in English, should not exceed 10 pages in the specified format, and should be submitted in PDF via the EasyChair system at

https://www.easychair.org/login.cgi?conf=wcet2010

A zip file with latex/Word templates and formatting instructions is found here.

Submissions not adhering to the page limit, or formatting instructions, may be rejected without further reviewing.

60. Past Editions

Björn Lisper — 2010-02-04T17:00:24Z

2009, in Dublin
2008, in Prague
2007, in Pisa
2006, in Dresden
2005, in Palma de Mallorca
2004, in Catania
2003, in Porto
2002, in Vienna
2001, in Delft

50. Organisation

Björn Lisper — 2010-02-04T16:59:16Z

Workshop Chair

Björn Lisper School of Innovation, Design, and Engineering Mälardalen University, P.O. Box 883, SE-721 23 Västerås, Sweden Phone: +46-21-151709 Email: bjorn.lisper (at) mdh.se

Program Committee

Antoine Colin, Rapita Systems Ltd., UK
Amine Marref, Mälardalen University, Sweden
Christine Rochange, IRIT, University of Toulouse, France
Isabelle Puaut, University of Rennes I / IRISA, France
Niklas Holsti , Tidorum Ltd, Finland
Stefan Petters, Polytechnic Institute of Porto, Portugal
Heiko Falk, Technische Universität Dortmund, Germany
Chris Healy, Furman University, USA
Raimund Kirner, Vienna University of Technology, Austria
Daniel Grund, Saarland University, Germany
Abhik Roychoudhury, National University of Singapore, Singapore
Daniel Kästner, AbsInt GmbH, Germany

Steering Committee

Guillem Bernat, Rapita Systems Ltd., UK
Jan Gustafsson, University of Mälardalen, Sweden
Peter Puschner, Technical University of Vienna, Austria

40. Invited Talk

Björn Lisper — 2010-02-04T16:58:17Z

WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives Jean Souyris, Airbus

Abstract

Time-critical avionics software products must compute their output in due time. If it is not the case, the safety of the avionics systems to which they belong might be affected. Consequently, the Worst Case Excution Time of the tasks of such programs must be computed safely, i.e., they must not be under-estimated. Since computing the exact WCET of a real-size software product task is not possible (undecidability), "safe WCET" means over-estimated WCET. Here we have an industrial issue in the sense that too over-estimating the WCET leads to a waste of CPU power. Hence, the computation a safe and precise WCET is the big challenge. Solutions to that problem cannot only rely on the technique for computing the WCET. Indeed, both hardware and software must be designed to be as deterministic as possible. For its Flight controls software products, Airbus has always been applying these principles but, since the A380, the use of more complex processors required to move from a technique based on measurements to a new one based on static analysis by Abstract Interpretation. Another kind of avionics applications are the so-called High-performance avionics software products, which are significantly less affected by - rare - delays in the computation of their outputs. In this case, the need for a "safe WCET" is less strong, hence opening the door to different other ways of computing it. In this context, the aim of the talk is to present the challenge of computing WCET in Airbus's industrial context, the achievements in this field and the evocation of some trends and perspectives.

30. Program

Björn Lisper — 2010-02-04T16:57:02Z

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

20. CFP

Björn Lisper — 2010-02-04T16:49:25Z

Lisper

Björn Lisper — 2006-08-09T14:24:57Z