Modeling Complex Flows for Worst-Case Execution Time Analysis

@inproceedings{Engblom2000ModelingCF,
  title={Modeling Complex Flows for Worst-Case Execution Time Analysis},
  author={Jakob Engblom and Andreas Ermedahl},
  booktitle={RTSS},
  year={2000}
}
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. The WCET depends both on the program ow (like loop iterations and function calls), and on hardware factors like caches and pipelines. In this paper we present a method for representing program ow information, that is compact while still being strong enough to handle the types of ow previously considered in WCET research. We also extend the set of representable ows compared to… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 158 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 100 extracted citations

Path Sensitive Cache Analysis Using Cache Miss Paths

VMCAI 2015 • 2015
View 5 Excerpts
Highly Influenced

Performance Comparison of Techniques on Static Path Analysis of WCET

2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing • 2008
View 8 Excerpts
Highly Influenced

A Symbolic Execution Method for Bounds Analysis

J OXAN J AFFAR, NDREW E. S ANTOSA, HU D.H.C, J ORGE N AVAS
2009
View 5 Excerpts
Highly Influenced

Efficient detection and exploitation of infeasible paths for software timing analysis

2006 43rd ACM/IEEE Design Automation Conference • 2006
View 4 Excerpts
Highly Influenced

159 Citations

01020'00'04'09'14'19
Citations per Year
Semantic Scholar estimates that this publication has 159 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Applying Compiler Techniques to Cache Behavior

PredictionChristian, Ferdinand, Florian Martin, Reinhard, WilhelmUniversit
1997
View 20 Excerpts
Highly Influenced

Computing maximum task execution times with linear programming techniques

P. Puschner, A. Schedl
Technical report, Technische Universitat, Institut f ur Technische Informatik, Wien, April • 1995
View 19 Excerpts
Highly Influenced

Performance Analysis of Embedded Software Using Implicit Path Enumeration

Workshop on Languages, Compilers, & Tools for Real-Time Systems • 1995
View 19 Excerpts
Highly Influenced

Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation

Workshop on Languages, Compilers, and Tools for Embedded Systems • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…