Modeling control-flow dependent execution time for WCET analysis
Abstract: Embedded computer systems commonly interact with the environment. There may be some realtime constraints imposed on this interaction. To guaranteesuchconstraints 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 methodisbased on analysis with implicit... (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):
27.9%: Integration of Static Runtime Analysis and Program Compilation - Kirner (2000)
(Correct)
Similar documents based on text: More All
0.9: Supporting Control-Flow-Dependent Execution Times on WCET.. - Kirner, Puschner (2000)
(Correct)
0.8: Transformation of Path Information for WCET Analysis during.. - Kirner, Puschner (2001)
(Correct)
0.5: Discussion of Misconceptions about WCET Analysis - Kirner, Puschner (2003)
(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/kirner00supporting.html More
@inproceedings{ kirner_wcet2000,
author = {Raimund Kirner and Peter Puschner},
title = {{Supporting Control-Flow-Dependent Execution Times on WCET Calculation}},
booktitle = {Deutschsprachige WCET-Tagung},
year = {2000},
organization = {C-Lab},
address = {Paderborn, Germany},
month = {Oct.},
url = {citeseer.ist.psu.edu/kirner00supporting.html} }
Citations not processed or no citations identified.
Documents on the same site (http://www.vmars.tuwien.ac.at/people/kirner.html): More
Avoiding Timing Problems in Real-Time Software - Puschner, Kirner (2003)
(Correct)
Integration of Static Runtime Analysis and Program Compilation - Kirner (2000)
(Correct)
WCET Analysis for Systems Modelled in Matlab/Simulink - Kirner, Lang, Puschner (2001)
(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