Title :
A New Approach to Determine Number of Loop Iterations for WCET Analysis
Author :
Parsa, Saeed ; Sakhaei-nia, Mehdi
Author_Institution :
Fac. of Comput. Eng., Iran Univ. of Sci. & Technol., Tehran, Iran
Abstract :
Estimation of program execution time is of great importance for development of real time systems. One of the major ingredients affecting the execution time of a program code is the number of loop iterations. In this paper a new approach to determine the number of loop iterations is presented. This is achieved by building symbolic expressions to represent iteration conditions and state change of the loop counters across each of loop iteration path. These expressions are then evaluated to determine the number of the loop iterations. The result of analysis on the Mälardalen benchmark suite reveals the accuracy of the proposed approach.
Keywords :
iterative methods; program control structures; real-time systems; symbol manipulation; Malardalen benchmark; WCET analysis; iteration condition; loop counter; loop iteration path; program code; program execution; real time system; symbolic expression; Algorithm design and analysis; Binary trees; Decision making; Flow graphs; Java; Lips; Radiation detectors; WCET analysis; loop bound; static analysis; symbolic analysis;
Conference_Titel :
Information Technology: New Generations (ITNG), 2011 Eighth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-61284-427-5
Electronic_ISBN :
978-0-7695-4367-3
DOI :
10.1109/ITNG.2011.134