See this document in CiteSeerX!

Supporting Control-Flow-Dependent Execution Times on WCET Calculation (2000)  (Make Corrections)  (3 citations)
Raimund Kirner, Peter Puschner



  Home/Search   Context   Related

 
View or download:
vmars.tuwien.ac.at/p...rr242000.ps.gz
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  vmars.tuwien.ac.at...Paper2000_24 (more)
(Enter author homepages)

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

Abstract: Embedded computer systems commonly interact with the environment. There may be some realtime constraints imposed on this interaction. To guarantee such constraints the knowledge about the worst case execution time (WCET) of the system components is mandatory. In the last years several concepts have been developed to obtain the WCET statically by code analysis or dynamically by measurements. In this paper we describe a method for static WCET analysis. This method is based on analysis with... (Update)

Context of citations to this paper:   More

...static WCET analysis [14] of programs, to yield an upper bound on their WCETs. The functionality of the tool is described in [8, 9]. The tool is designed for simple hardware architectures. The execution time of each instruction on such architectures only depends on the...

.... of a WCET analysis tool was developed and described in [1] A survey on how the WCET calculation is done internally can be found in [4]. This approach also supports code optimizations performed by the compiler during optimizations. Experiments showing the e#ects of using...

Cited by:   More
Timing Analysis of Optimised Code - Kirner, Puschner (2002)   (Correct)
The Programming Language wcetC - Kirner (2001)   (Correct)
Using Real Hardware to Create an Accurate Timing Model.. - Atanassov, Kirner.. (2001)   (Correct)

Similar documents (at the sentence level):
28.9%:   Integration of Static Runtime Analysis and Program Compilation - Kirner (2000)   (Correct)

Active bibliography (related documents):   More   All
0.9:   Transformation of Path Information for WCET Analysis during.. - Kirner, Puschner (2001)   (Correct)
0.5:   A Tool for Automatic Flow Analysis of C-programs.. - Gustafsson.. (2003)   (Correct)
0.3:   Towards Industry Strength Worst-Case Execution Time.. - Engblom, Ermedahl.. (1999)   (Correct)

Similar documents based on text:   More   All
1.6:   User's Manual - Wcet-Analysis Framework Based   (Correct)
0.9:   Supporting Control-Flow-Dependent Execution Times on WCET.. - Peter (2000)   (Correct)
0.6:   Java Virtual-Machine Support for Portable Worst-Case.. - Bate, Bernat, Puschner (2002)   (Correct)

Related documents from co-citation:   More   All
2:   Worst case execution time analysis for a processor with branch prediction (context) - Colin, Puaut - 2000
2:   Consideration of Optimizing Compilers in the Context of WCET Analysis - Kirner, Puschner - 2000
2:   Bounding pipeline and instruction cache performance (context) - Healy, Arnold et al. - 1999

BibTeX entry:   (Update)

R. Kirner and P. Puschner. "Supporting ControlFlow -Dependent Execution Times on WCET Calcu- IEEE Real-Time Embedded Systems Workshop, Dec. 3, http://citeseer.ist.psu.edu/article/kirner00supporting.html   More

@misc{ kirner-supporting,
  author = "R. Kirner and P. Puschner",
  title = "Supporting ControlFlow -Dependent Execution Times on WCET Calcu- IEEE Real-Time
    Embedded Systems Workshop",
  text = "R. Kirner and P. Puschner. Supporting ControlFlow -Dependent Execution
    Times on WCET Calcu- IEEE Real-Time Embedded Systems Workshop, Dec. 3,",
  url = "citeseer.ist.psu.edu/article/kirner00supporting.html" }
Citations (may not include all citations):
167   Calculating the Maximum Execution Time of Real-Time Programs (context) - Puschner, Koza - 1989  DBLP
85   Predicting Program Execution Times by Analyzing Static and D.. (context) - Park - 1993  ACM   DBLP
71   Performance Analysis of Embedded Software Using Implicit Pat.. - Li, Malik - 1995  ACM   DBLP
48   Bounding Pipeline and Instruction Cache Performance (context) - Healy, Arnold et al. - 1999  ACM   DBLP
46   Efficient Microarchitecture Modeling and Path Analysis for R.. - Li, Malik et al. - 1995  ACM   DBLP
32   Real-Time Euclid: A Language for Reliable Real-Time Systems (context) - Klingerman, Stoyenko - 1986  ACM   DBLP
31   Worst case execution time analysis for a processor with bran.. (context) - Colin, Puaut - 2000  DBLP
26   Complete worst-case execution time analysis of straightline .. - Stappert, Altenbernd - 2000
24   Bounding Loop Iterations for Timing Analysis - Healy, Sjodin et al. - 1998  ACM   DBLP
23   Facilitating Worst-Case Execution Time Analysis for Optimize.. - Engblom, Ermedahl et al. - 1998
14   A Comparison of Static Analysis and Evolutionary Testing for.. - Mueller, Wegener - 1998  ACM   DBLP
11   Generalizing Timing Predictions to Set-Associative Caches - Mueller - 1997
11   A Tool for the Computation of the Worst Case Task Execution .. (context) - Puschner, Schedl - 1993
8   The Basis for Static Execution Time Prediction (context) - Vrchoticky - 1994
7   Integration of Static Runtime Analysis and Program Compilati.. - Kirner - 2000
3   Methoden der ganzzahligen Optimierung (context) - Burkhard - 1972
3   Timing Analysis of superscalar processor programs using ACSR - Choi, Lee et al. - 1994
2   Dynamic Worst-Case Execution Time Analysis - A Comparison Be.. (context) - Atanassov, Puschner - 2000
2   Automatic Utilization of Constraints for Timing Analysis (context) - Healy - 1999  ACM
2   Technische Universitat Wien (context) - Vrchoticky, Definition et al. - 1992
1   Das Prozessor Buch zum (context) - Grohmann, Eichler - 1985
1   Gcc into a Timing Analysis Environment (context) - Macos, Mueller - 1998

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