See this document in CiteSeerX!

Static Analysis Support for Measurement-based WCET Analysis  (Make Corrections)  
Stefan Schaefer Bernhard Scholz Stefan M. Petters Gernot Heiser National ICT...



  Home/Search   Context   Related

 
View or download:
nicta.com.au/publi...chaefer_SPH_06.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  nicta.com.au/publicati...home.pml (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Guaranteeing that the worst-case scenario has been covered for each basic block individually is a major challenge in measurement-based WCET analysis. On the static analysis side the accuracy of hardware models used are also subject to doubt as they are based on available documentation provided by vendors which may be not detailed enough nor correct or both. Even for verified models the question remains whether subsequent chips adhere to the same specification. We introduce a new approach to... (Update)

Active bibliography (related documents):   More   All
0.5:   Augmenting Ada95 with Additional Real-Time Features - Blieberger, Lieger..   (Correct)
0.5:   Model Checking for Open Systems: A Compositional Approach to.. - Andrade-Gomez (2001)   (Correct)
0.4:   Comparison of Trace Generation Methods for Measurement Based WCET .. - Petters (2003)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ bernhard-static,
  author = "Stefan Schaefer Bernhard",
  title = "Static Analysis Support for Measurement-based WCET Analysis",
  url = "citeseer.ist.psu.edu/758393.html" }
Citations (may not include all citations):
91   An Accurate Worst-Case Timing Analysis for RISC Processors - Lim, Bae et al. - 1995
71   Performance Analysis of Embedded Software Using Implicit Pat.. - Li, Malik - 1995  ACM   DBLP
32   Integrated Program Proof and Worst-Case Timing Analysis of S.. - Chapman, Wellings et al. - 1994
23   Facilitating worst-case execution time analysis for optimize.. - Engblom, Altenbernd et al. - 1998
13   An approach to symbolic worst-case execution time analysis - Bernat, Burns - 2000
13   WCET analysis of probabilistic hard realtime systems - Bernat, Colin et al. - 2002
13   Predicting Program Execution Times by Analyzing Static and D.. (context) - Park - 1993  ACM   DBLP
9   A Modular and Retargetable Framework for Tree-based WCET Ana.. - Colin, Puaut - 2001
7   Worst-Case Execution Time Estimation for Advanced Processor .. (context) - Petters - 2002
6   Timing analysis for data and wrap-around fill caches - White, Mueller et al. - 1999  ACM   DBLP
4   pWCET: a tool for probabilistic worstcase execution time ana.. - Bernat, Colin et al. - 2003
2   Verus: A Tool for Quantitative Analysis of Finite-State Real.. (context) - Aguiar, Edmund et al. - 1995  DBLP
2   Timing Analysis of ObjectOriented Real-Time Programs (context) - Blieberger - 1995
1   Using Measurements as a Complement to Static Worst-Case Exec.. (context) - Kirner, Wenzel et al. - 2005
1   Simplifying WCET analysis by code transformations (context) - Negi, Roychoudhury et al. - 2004

Documents on the same site (http://www.ertos.nicta.com.au/publications/home.pml):   More
User-level Device Drivers: Achieved Performance - Leslie, Chubb, Fitzroy-Dale, .. (2005)   (Correct)
An Open GNSS Receiver Platform Architecture - Engel, Heiser, Mumford.. (2004)   (Correct)
Implementation of Fast Address-Space Switching and TLB .. - Wiggins, Tuch, Uhlig, .. (2003)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC