Search: onr:"swepub:oai:DiVA.org:mdh-7042" >
Loop Bound Analysis...
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis
-
- Ermedahl, Andreas (author)
- Mälardalens högskola,Institutionen för datavetenskap och elektronik
-
- Sandberg, Christer (author)
- Mälardalens högskola,Institutionen för datavetenskap och elektronik
-
- Gustafsson, Jan (author)
- Mälardalens högskola,Institutionen för datavetenskap och elektronik
-
show more...
-
- Bygde, Stefan (author)
- Mälardalens högskola,Institutionen för datavetenskap och elektronik
-
- Lisper, Björn (author)
- Mälardalens högskola,Institutionen för datavetenskap och elektronik
-
show less...
-
(creator_code:org_t)
- 2007
- 2007
- English.
-
In: OpenAccess Series in Informatics, Volume 6, 2007. - 9783939897057
- Related links:
-
https://urn.kb.se/re...
Abstract
Subject headings
Close
- Static Worst-Case Execution Time (WCET) analysis is a technique to derive upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component for static derivation of precise WCET estimates is upper bounds on the number of times different loops can be iterated. In this paper we present an approach for deriving upper loop bounds based on a combination of standard program analysis techniques. The idea is to bound the number of different states in the loop which can influence the exit conditions. Given that the loop terminates, this number provides an upper loop bound. An algorithm based on the approach has been implemented in our WCET analysis tool SWEET. We evaluate the algorithm on a number of standard WCET benchmarks, giving evidence that it is capable to derive valid bounds for many types of loops.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database