@MISC{Sandberg05improvementsof, author = {Christer Sandberg}, title = {Improvements Of The Flow Analysis in WCET Tools}, year = {2005} }
Share
OpenURL
Abstract
The worst case execution times, the WCET, are often essential to know for tasks that have to fulfill deadlines. Such tasks can often be found in real time systems. In order to calculate the WCET, flow constraints, like maximum iterations of loops, needs to be known. Entering all such flow constraints to a WCET tool require a lot of work for the user to be done. Therefore methods for achieving flow constraints automatically are important. However, most of today 's WCET tools require manual annotations of loops for real sized programs. One of the reasons is that the most powerful analysis methods are too costly in terms of computation power. This paper