License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2007.1188
URN: urn:nbn:de:0030-drops-11886
URL: https://drops.dagstuhl.de/opus/volltexte/2007/1188/
Go to the corresponding OASIcs Volume Portal


Petters, Stefan M. ; Zadarnowski, Patryk ; Heiser, Gernot

Measurements or Static Analysis or Both?

pdf-format:
petters.1188.pdf (0.1 MB)


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.

BibTeX - Entry

@InProceedings{petters_et_al:OASIcs:2007:1188,
  author =	{Stefan M. Petters and Patryk Zadarnowski and Gernot Heiser},
  title =	{{Measurements or Static Analysis or Bothl}},
  booktitle =	{7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-05-7},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{6},
  editor =	{Christine Rochange},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/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}
}

Keywords: Measurement based Approach, Static Analysis, Cache Analysis, Proof, Overestimation
Collection: 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)
Issue Date: 2007
Date of publication: 13.11.2007


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI