DocumentCode :
1442627
Title :
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis
Author :
Bartlett, Mark ; Bate, Iain ; Kazakov, Dimitar
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
Volume :
59
Issue :
11
fYear :
2010
Firstpage :
1520
Lastpage :
1532
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.
Keywords :
program control structures; program diagnostics; real-time systems; loop iterations; program traces; real-time system; worst-case execution time analysis; Aerospace control; Arithmetic; Automotive engineering; Benchmark testing; Computer science; Debugging; Embedded system; Hardware; Real time systems; System testing; Real-time and embedded systems; deduction and theorem proving; knowledge processing.; performance of systems; testing and debugging;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/TC.2010.59
Filename :
5432156
Link To Document :
بازگشت