ICT Call 2012 / ICT12-059
Florian Zuleger
Principal Investigator:
Florian Zuleger Personal webpage
Vienna University of Technology Webpage
Automated Program Analysis for Bounds on Resource Consumption Project Webpage
Abgeschlossen (01.01.2013 – 31.12.2016) 48 Monate
€ 450.000


Computer programs are consuming physical resources such as time, memory, power and bandwidth. To guarantee that a program only uses a limited amount of these resources, programmers need automated tools which predict the resource consumption of a program. In this project, we will develop such methods and tools for resource prediction.
The starting point of our research is the notion of a "Size Change Abstraction" (SCA). This is a mathematical model that has been successfully used to answer a simpler question about programs - namely, the question if a program runs for a finite amount of time. While Turing has shown that no algorithm can decide this simpler question, there is convincing evidence that SCA allows us to answer it in many practical cases. In a recent paper, we have given a proof of concept that SCA is also highly promising for resource consumption. In this project, we develop both the mathematical methods and the practical software tools to realize this potential of SCA.


Diese Seite verwendet Cookies. Durch das Nutzen dieser Seite sind Sie mit der Verwendung von Cookies einverstanden. Details finden Sie hier.