Invited speaker:
- Jens Harnisch (Infineon) "Predictable hardware: The AURIX Microcontroller Family"
Tuesday, July 9 WCET 2013 8:30 — 9:30 Registration 9:30 — 11:00 Session 1: Multicore challenges. Chair: Tullio Vardanega 9:30 Timon Kelter, Tim Harde, Peter Marwedel and Heiko Falk. Evaluation of resource arbitration methods for multi-core real-time systems Slides 10:00 Haluk Ozaktas, Christine Rochange and Pascal Sainrat. Automatic WCET Analysis of Real-Time Parallel Applications Slides 10:30 Isabelle Puaut and Dumitru Potop-Butucaru. Integrated Worst-Case Execution Time Estimation of Multicore Applications Slides 11:00 — 11:30 Coffee break 11:30 — 13:00 Session 2: Program and value analysis. Chair: Niklas Holsti 11:30 Mihail Asavoae, Claire Maiza and Pascal Raymond. Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective Slides 12:00 Hugues Cassé, Florian Birée and Pascal Sainrat. Multi-architecture Value Analysis for Machine Code Slides 12:30 Jakob Zwirchmayr, Armin Biere, Jens Knoop and Laura Kovacs. The Auspicious Couple: Symbolic Execution and WCET Analysis Slides 13:00 — 14:30 Lunch 14:30 — 15:30 Invited Session: Jens Harnisch (Infineon). Chair: Reinhard Wilhelm "Predictable hardware: The AURIX Microcontroller Family" Slides 15:30 — 16:00 Session 3: Resource analysis I. Chair: Chris Healy 15:30 Francisco J Cazorla, Tullio Vardanega, Eduardo Quiñones and Jaume Abella. Upper-bounding Program Execution Time with Extreme Value Theory Slides 16:00 — 16:30 Coffee break 16:30 — 18:00 Session 3: Resource analysis II. Chair: Chris Healy 16:30 Florian Haupenthal and Jörg Herter. PRADA: Predictable Allocations by Deferred Actions Slides 17:00 Jorge Garrido, Juan Zamorano and Juan Antonio de La Puente. Static analysis of WCET in a satellite software subsystem Slides 17:30 Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones and Francisco J Cazorla. Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources Slides 19:00 Workshop closing & Cocktails