Workshop Program

08.25Opening
08.30 - 10.00   Session 1: Formal Methods for WCET and Value Analysis (Session Chair: Chris Healy)
08.30   Björn Lisper. Principles for Value Annotation Languages (Initiates file downloaddownload slides)
09.00André Maroneze, Sandrine Blazy, David Pichardie, and Isabelle Puaut. A Formally Verified WCET Estimation Tool (Initiates file downloaddownload slides)
09.30Luca Santinelli, Jérôme Morio, Guillaume Dufour, and Damien Jacquemart. On the Sustainability of the Extreme Value Theory for WCET Estimation (Initiates file downloaddownload slides)
10.00 - 10.30Coffee Break
10.30 - 12.00Session 2: Multicore Challenges (Session Chair: Peter Puschner)
10.30Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Christine Rochange, Tullio Vardanega, and Francisco J. Cazorla. Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art (Initiates file downloaddownload slides)
11.00Vesa Hirvisalo. On Static Timing Analysis of GPU Kernels (Initiates file downloaddownload slides)
11.30Martin Schoeberl, David Vh Chong, Wolfgang Puffitsch, and Jens Sparsø. A Time-Predictable Memory Network-on-Chip (Initiates file downloaddownload slides)
12.00 - 13.30Lunch
13.30 - 14.30Invited Talk
Vincent Nélis. The Challenge of Time-Predictability in Modern Many-Core Architectures (Initiates file downloaddownload slides)
14.30 - 15.00Report on the WCET Tool Challenge 2014 (Christine Rochange) (Initiates file downloaddownload slides)
15.00 - 15.30Coffee Break
15.30 - 16.30Session 3: Timing Analyses for Emerging Cache Architectures (Session Chair: Christine Rochange)
15.30Benedikt Huber, Stefan Hepp, and Martin Schoeberl. Scope-Based Method Cache Analysis (Initiates file downloaddownload slides)
16.00Sahar Abbaspour, Alexander Jordan, and Florian Brandner. Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis (Initiates file downloaddownload slides)
16.40 - 17.40Session 4: Software Approaches Supporting WCET Analysis (Session Chair: Björn Lisper)
16.40Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, and Philippe Cuenot. Identifying Relevant Parameters to Improve WCET Analysis (Initiates file downloaddownload slides)
17.10Daniel Prokesch, Benedikt Huber, and Peter Puschner. Towards Automated Generation of Time-Predictable Code (Initiates file downloaddownload slides)
17.40Closing