Stefan Schaefer Bernhard Scholz Stefan M. Petters Gernot Heiser National ICT...  Home/Search
Context
Related
| nicta.com.au/publi...chaefer_SPH_06.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: nicta.com.au/publicati...home.pml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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