WCET 2009 June 30, 2009, Trinity College, Dublin, Ireland

9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)



Niklas Holsti (Ed.)
ISBN 978-3-939897-14-9, OASICS Vol. 10 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Support
  • ECRTS 2009


  • Printed Version
    also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-252-6

    Authors
  • Altmeyer, Sebastian
  • Ballabriga, Clément
  • Bernat, Guillem
  • Burguière, Claire
  • Cassé, Hugues
  • De Michiel, Marianne
  • Eles, Petru
  • Ermedahl, Andreas
  • Ferdinand, Christian
  • Ferguson, Andrew
  • Gustafsson, Jan
  • Hansen, Jeffery
  • Hardy, Damien
  • Healy, Christopher
  • Herter, Jörg
  • Hissam, Scott
  • Holsti, Niklas
  • Huber, Benedikt
  • Källberg, Linus
  • Kästner, Daniel
  • Kadlec, Albrecht
  • Keim, Paul
  • Kirner, Raimund
  • Knoop, Jens
  • Lesage, Benjamin
  • Lisper, Björn
  • Lokuciejewski, Paul
  • Marwedel, Peter
  • Moreno, Gabriel A.
  • Neal, Joshua
  • Nenova, Stefana
  • Noyes, Amanda
  • Plazar, Sascha
  • Prantl, Adrian
  • Puaut, Isabelle
  • Puschner, Peter
  • Reineke, Jan
  • Sandberg, Christer
  • Schoeberl, Martin
  • Schordan, Markus
  • Sen, Rathijit
  • Wilhelm, Reinhard

  •   
    WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis
    Authors: Holsti, Niklas

    Abstract | Document (192 KB) | BibTeX

    Teaching WCET Analysis in Academia and Industry: A Panel Discussion
    Authors: Holsti, Niklas ; Bernat, Guillem ; Ferdinand, Christian ; Puschner, Peter ; Wilhelm, Reinhard

    Abstract | Document (322 KB) | BibTeX

    A Generic Framework for Blackbox Components in WCET Computation
    Authors: Ballabriga, Clément ; Cassé, Hugues ; De Michiel, Marianne

    Abstract | Document (462 KB) | BibTeX

    ALF - A Language for WCET Flow Analysis
    Authors: Gustafsson, Jan ; Ermedahl, Andreas ; Lisper, Björn ; Sandberg, Christer ; Källberg, Linus

    Abstract | Document (153 KB) | BibTeX

    Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions
    Authors: Burguière, Claire ; Reineke, Jan ; Altmeyer, Sebastian

    Abstract | Document (178 KB) | BibTeX

    Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis
    Authors: Huber, Benedikt ; Schoeberl, Martin

    Abstract | Document (222 KB) | BibTeX

    Extending the Path Analysis Technique to Obtain a Soft WCET
    Authors: Keim, Paul ; Noyes, Amanda ; Ferguson, Andrew ; Neal, Joshua ; Healy, Christopher

    Abstract | Document (150 KB) | BibTeX

    From Trusted Annotations to Verified Knowledge
    Authors: Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus

    Abstract | Document (188 KB) | BibTeX

    Is Chip-Multiprocessing the End of Real-Time Scheduling?
    Authors: Schoeberl, Martin ; Puschner, Peter

    Abstract | Document (140 KB) | BibTeX

    Making Dynamic Memory Allocation Static to Support WCET Analysis
    Authors: Herter, Jörg ; Reineke, Jan

    Abstract | Document (204 KB) | BibTeX

    Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip
    Authors: Eles, Petru

    Abstract | Document (442 KB) | BibTeX

    Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    Authors: Reineke, Jan ; Sen, Rathijit

    Abstract | Document (213 KB) | BibTeX

    Statistical-Based WCET Estimation and Validation
    Authors: Hansen, Jeffery ; Hissam, Scott ; Moreno, Gabriel A.

    Abstract | Document (113 KB) | BibTeX

    WCET Analysis of Multi-Level Set-Associative Data Caches
    Authors: Lesage, Benjamin ; Hardy, Damien ; Puaut, Isabelle

    Abstract | Document (131 KB) | BibTeX

    WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time Systems
    Authors: Plazar, Sascha ; Lokuciejewski, Paul ; Marwedel, Peter

    Abstract | Document (138 KB) | BibTeX

    Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases
    Authors: Nenova, Stefana ; Kästner, Daniel

    Abstract | Document (196 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI