The Community for Technology Leaders
Green Image
Issue No. 11 - November (2010 vol. 59)
ISSN: 0018-9340
pp: 1520-1532
Iain Bate , University of York, York
Dimitar Kazakov , University of York, York
Mark Bartlett , University of York, York
ABSTRACT
Determination of accurate estimates for the Worst-Case Execution Time of a program is essential for guaranteeing the correct temporal behavior of any Real-Time System. Of particular importance is tightly bounding the number of iterations of loops in the program or excessive undue pessimism can result. This paper presents a novel approach to determining the number of iterations of a loop for such analysis. Program traces are collected and analyzed allowing the number of loop executions to be parametrically determined safely and precisely under certain conditions. The approach is mathematically proved to be safe and its practicality is demonstrated on a series of benchmarks.
INDEX TERMS
Real-time and embedded systems, performance of systems, testing and debugging, deduction and theorem proving, knowledge processing.
CITATION
Iain Bate, Dimitar Kazakov, Mark Bartlett, "Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis", IEEE Transactions on Computers, vol. 59, no. , pp. 1520-1532, November 2010, doi:10.1109/TC.2010.59
91 ms
(Ver 3.1 (10032016))