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.2005.811
URN: urn:nbn:de:0030-drops-8118
Go to the corresponding OASIcs Volume Portal

Ermedahl, Andreas ; Gustafsson, Jan ; Lisper, Björn

Experiences from Industrial WCET Analysis Case Studies

WCET_05.Ermedahl.811.pdf (0.2 MB)


Static Worst-Case Execution Time (WCET) analysis
is currently taking a step from research to industrial
use. We present a summary of three case studies
where static WCET analysis has been used to analyse
production code for embedded real-time systems. The
primary purpose has not been to test the accuracy of
the obtained WCET estimates, but rather to investigate
the practical and methodological difficulties that
arise when applying current WCET analysis methods
to these particular kind of systems.
In particular, we have been interested in how laborintensive
the analysis becomes, for instance by estimating
the efforts to study the analysed code in detail, and
measuring the number of manual annotations necessary
to perform the analysis. From these observations, we
draw some conclusions about what would be needed to
turn static WCET analysis into a useful tool for embedded
and real-time systems software development.

BibTeX - Entry

  author =	{Andreas Ermedahl and Jan Gustafsson and Bj{\"o}rn Lisper},
  title =	{{Experiences from Industrial WCET Analysis Case Studies}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-8118},
  doi =		{10.4230/OASIcs.WCET.2005.811},
  annote =	{Keywords: }

Collection: 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
Issue Date: 2007
Date of publication: 29.03.2007

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