DROPS

Document

DOI: 10.4230/OASIcs.WCET.2008.1668

A tool for average and worst-case execution time analysis

Authors: David Hickey, Diarmuid Early, and Michel Schellekens

Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)

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.

Cite as

David Hickey, Diarmuid Early, and Michel Schellekens. A tool for average and worst-case execution time analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{hickey_et_al:OASIcs.WCET.2008.1668,
  author =	{Hickey, David and Early, Diarmuid and Schellekens, Michel},
  title =	{{A tool for average and worst-case execution time analysis}},
  booktitle =	{8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)},
  pages =	{1--12},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-10-1},
  ISSN =	{2190-6807},
  year =	{2008},
  volume =	{8},
  editor =	{Kirner, Raimund},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1668},
  URN =		{urn:nbn:de:0030-drops-16680},
  doi =		{10.4230/OASIcs.WCET.2008.1668},
  annote =	{Keywords: Tool, static timing, worst-case, average-case, execution time}
}

Search Results

Documents authored by Schellekens, Michel

A tool for average and worst-case execution time analysis

Abstract

Cite as

Thanks for your feedback!

Could not send message