Campus Event Calendar
Event Entry
What and Who
Data-Flow Based Detection of Loop Bounds on C code
Olha Hocharova
IMPRS
Talk
Master Student / IMPRS
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 13 May 2008
13:05
60 Minutes
E1 4
R024
Saarbrücken
Abstract
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.
As the manual annotation of all loops with such bounds is difficult and time consuming, the WCET analyzer aiT originally developed by Saarland University and AbsInt GmbH uses static analysis to determine the needed bounds as far as possible. In this talk I describe a novel data-flow based analysis for aiT to calculate the needed loop bounds on the C code level.
As the manual annotation of all loops with such bounds is difficult and time consuming, the WCET analyzer aiT originally developed by Saarland University and AbsInt GmbH uses static analysis to determine the needed bounds as far as possible. In this talk I describe a novel data-flow based analysis for aiT to calculate the needed loop bounds on the C code level.
Contact
Stephanie Jörg
0681 9325225
--email hidden
passcode not visible
logged in users only
Stephanie Jörg, 04/24/2008 12:49
Stephanie Jörg, 04/23/2008 10:48
Stephanie Jörg, 04/23/2008 10:46 -- Created document.
Stephanie Jörg, 04/23/2008 10:48
Stephanie Jörg, 04/23/2008 10:46 -- Created document.