1 Search Results for "Petters, Stefan M."

Document

DOI: 10.4230/OASIcs.WCET.2007.1188

Measurements or Static Analysis or Both?

Authors: Stefan M. Petters, Patryk Zadarnowski, and Gernot Heiser

Published in: OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007)

Abstract

To date, measurement-based WCET analysis and static analysis have largely been seen as being at odds with each other. We argue that instead they should be considered complementary, and that the combination of both represents a promising approach that provides benefits over either individual approach. In this paper we discuss in some detail how we aim to improve on our probabilistic measurement-based technique by adding static cache analysis. Specifically we are planning to make use of recent advances within the functional languages research community. The objective of this paper is not to present finished or almost finished work. Instead we hope to trigger discussion and solicit feedback from the community in order to avoid pitfalls experienced by others and to help focus our research.

Cite as

Stefan M. Petters, Patryk Zadarnowski, and Gernot Heiser. Measurements or Static Analysis or Both?. In 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07). Open Access Series in Informatics (OASIcs), Volume 6, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{petters_et_al:OASIcs.WCET.2007.1188,
  author =	{Petters, Stefan M. and Zadarnowski, Patryk and Heiser, Gernot},
  title =	{{Measurements or Static Analysis or Both?}},
  booktitle =	{7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
  pages =	{1--7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-05-7},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{6},
  editor =	{Rochange, Christine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1188},
  URN =		{urn:nbn:de:0030-drops-11886},
  doi =		{10.4230/OASIcs.WCET.2007.1188},
  annote =	{Keywords: Measurement based Approach, Static Analysis, Cache Analysis, Proof, Overestimation}
}

Refine by Author
1 Heiser, Gernot
1 Petters, Stefan M.
1 Zadarnowski, Patryk

Refine by Classification

Refine by Keyword
1 Cache Analysis
1 Measurement based Approach
1 Overestimation
1 Proof
1 Static Analysis

Refine by Type
1 document

Refine by Publication Year
1 2007

1 Search Results for "Petters, Stefan M."

Measurements or Static Analysis or Both?

Abstract

Cite as

Thanks for your feedback!

Could not send message