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 (download slides)
09.00André Maroneze, Sandrine Blazy, David Pichardie, and Isabelle Puaut. A Formally Verified WCET Estimation Tool (download slides)
09.30Luca Santinelli, Jérôme Morio, Guillaume Dufour, and Damien Jacquemart. On the Sustainability of the Extreme Value Theory for WCET Estimation (download 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 (download slides)
11.00Vesa Hirvisalo. On Static Timing Analysis of GPU Kernels (download slides)
11.30Martin Schoeberl, David Vh Chong, Wolfgang Puffitsch, and Jens Sparsø. A Time-Predictable Memory Network-on-Chip (download slides)
12.00 - 13.30Lunch
13.30 - 14.30Invited Talk
Vincent Nélis. The Challenge of Time-Predictability in Modern Many-Core Architectures (download slides)
14.30 - 15.00Report on the WCET Tool Challenge 2014 (Christine Rochange) (download 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 (download slides)
16.00Sahar Abbaspour, Alexander Jordan, and Florian Brandner. Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis (download 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 (download slides)
17.10Daniel Prokesch, Benedikt Huber, and Peter Puschner. Towards Automated Generation of Time-Predictable Code (download slides)
17.40Closing