Trustworthy Systems

Static analysis support for measurement-based WCET analysis

Authors

Stefan Schaefer, Bernhard Scholz, Stefan M. Petters and Gernot Heiser

NICTA
Sydney
Australia

School of Computer Science and Engineering
UNSW
Sydney
Australia

School of IT
University of Sydney
Sdyney
Australia

Abstract

Guaranteeing that the worst-case scenario has been covered for each basic block individually is a major challenge in measurement-based WCET analysis. On the static analysis side the accuracy of hardware models used are also subject to doubt as they are based on available documentation provided by vendors which may be not detailed enough nor correct or both. Even for verified models the question remains whether subsequent chips adhere to the same specification. We introduce a new approach to enhance measurementbased WCET analysis by deploying static analysis to ensure test coverage on basic block level and reduce pessimism. In particular, our work focuses on the questions how detailed does the hardware specification have to be to make the measurements trustworthy.

BibTeX Entry

  @inproceedings{Schaefer_SPH_06,
    address          = {Sydney, Australia},
    author           = {Stefan Schaefer and Bernhard Scholz and Stefan M. Petters and Gernot Heiser},
    booktitle        = {12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications,
                        Work-in-Progress Session},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/papers/Schaefer_SPH_06.pdf},
    title            = {Static Analysis Support for Measurement-based {WCET} Analysis},
    year             = {2006}
  }

Download