Trustworthy Systems

Measurements or static analysis or both?

Authors

Stefan M. Petters, Patryk Zadarnowski and Gernot Heiser

NICTA

UNSW

Open Kernel Labs

Abstract

To date, measurement-based WCET analysis and static analysis have largely been seen as being at odds with each other. We argue that they should be considered complementary, and that the combination of both represents a promising 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 in 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 help focus our research.

BibTeX Entry

  @inproceedings{Petters_ZH_07,
    address          = {Pisa, Italy},
    author           = {Petters, Stefan M. and Zadarnowski, Patryk and Heiser, Gernot},
    booktitle        = {Workshop on Worst-Case Execution-Time Analysis},
    keywords         = {real-time wcet},
    month            = dec,
    pages            = {5--11},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/539.pdf},
    publisher        = {IRIT, France},
    title            = {Measurements or static analysis or both?},
    year             = {2007}
  }

Download