OASIcs.WCET.2008.1668.pdf
- Filesize: 86 kB
- 12 pages
We have developed a new programming paradigmwhich, for conforming programs, allows the average-case execution time (ACET) to be obtained automatically by a static analysis. This is achieved by tracking the data structures and their distributions that will exist during all possible executions of a program. This new programming paradigm is called MOQA and the tool which performs the static analysis is called Distritrack. In this paper we give an overview of both MOQA and Distritrack. We then discuss the possibility of extending Distritrack for static worst-case execution time (WCET) analysis ofMOQA programs using the tight tracking of data structures already being performed. The authors wish to acknowledge the support of SFI grant SFI 02/IN.1/I181.
Feedback for Dagstuhl Publishing