License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-16680
URL:

; ;

A tool for average and worst-case execution time analysis

pdf-format:


Abstract

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.

BibTeX - Entry

@InProceedings{hickey_et_al:OASIcs:2008:1668,
  author =	{David Hickey and Diarmuid Early and Michel Schellekens},
  title =	{{A tool for average and worst-case execution time analysis}},
  booktitle =	{8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-10-1},
  ISSN =	{2190-6807},
  year =	{2008},
  volume =	{8},
  editor =	{Raimund Kirner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1668},
  URN =		{urn:nbn:de:0030-drops-16680},
  doi =		{http://dx.doi.org/10.4230/OASIcs.WCET.2008.1668},
  note =	{also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3},
  annote =	{Keywords: Tool, static timing, worst-case, average-case, execution time}
}

Keywords: Tool, static timing, worst-case, average-case, execution time
Seminar: 8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08)
Issue date: 2008
Date of publication: 2008


DROPS-Home | Fulltext Search | Imprint Published by LZI