A tool for average and worst-case execution time analysis

We have developed a new programming paradigm which, for conforming programs, allows the averagecase 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 of MOQA programs using the tight tracking of data structures already being performed.

• Type: Conference
• Year: 2008
• Where: WCET
• Authors: David Hickey, Diarmuid Early, Michel P. Schellekens
• Keywords: Data Structures, Execution Time, Software Engineering, Static Analysis, WCET 2008