Modeling complex flows for worst-case execution time analysis
- 11 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 163-174
- https://doi.org/10.1109/real.2000.896006
Abstract
Knowing the Worst-Case Execution Time (WCET)of a program is necessary when designing and verifyingreal-time systems. The WCET depends both on theprogram flow (like loop iterations and function calls),and on hardware factors like caches and pipelines.In this paper we present a method for representingprogram flow information, that is compact while stillbeing strong enough to handle the types of flow previouslyconsidered in WCET research. We also extendthe set of representable flows...Keywords
This publication has 14 references indexed in Scilit:
- Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Facilitating worst-case execution times analysis for optimized codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Timing analysis for data caches and set-associative cachesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Worst Case Execution Time Analysis for a Processor with Branch PredictionReal-Time Systems, 2000
- Supporting Timing Analysis by Automatic Bounding of Loop IterationsReal-Time Systems, 2000
- Bounding pipeline and instruction cache performanceIEEE Transactions on Computers, 1999
- Integrating path and timing analysis using instruction-level simulation techniquesPublished by Springer Nature ,1998
- Deriving annotations for tight calculation of execution timePublished by Springer Nature ,1997
- An accurate worst case timing analysis for RISC processorsIEEE Transactions on Software Engineering, 1995
- Performance analysis of embedded software using implicit path enumerationPublished by Association for Computing Machinery (ACM) ,1995