TY - GEN
T1 - A tool for average and worst-case execution time analysis
AU - Hickey, David
AU - Early, Diarmuid
AU - Schellekens, Michel
PY - 2008
Y1 - 2008
N2 - We have developed a new programming paradigmwhich, 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 calledMOQA 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.
AB - We have developed a new programming paradigmwhich, 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 calledMOQA 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.
UR - https://www.scopus.com/pages/publications/84880104363
M3 - Conference proceeding
AN - SCOPUS:84880104363
SN - 9783939897101
T3 - OpenAccess Series in Informatics
BT - 8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008
T2 - 8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008
Y2 - 1 July 2008 through 1 July 2008
ER -