Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Zolda, Michael http://www.dagstuhl.de/oasics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-16695
URL:

INFER: Interactive Timing Profiles based on Bayesian Networks

pdf-format:


Abstract

We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an approach where we take (1) an abstract description of the control flow within a piece of software, and (2) a set of run-time traces, which are combined into a Bayesian network that can be seen as an interactive timing profile. The obtained profile can be used by the embedded systems engineer not only to obtain a probabilistic estimate of the WCET, but also to run interactive timing simulations, or to automatically identify software configurations that are likely to evoke noteworthy timing behavior, like, e.g., high variances of execution times, and which are therefore candidates for further inspection.

BibTeX - Entry

@InProceedings{zolda:OASIcs:2008:1669,
  author =	{Michael Zolda},
  title =	{{INFER: Interactive Timing Profiles based on Bayesian Networks}},
  booktitle =	{8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-10-1},
  ISSN =	{2190-6807},
  year =	{2008},
  volume =	{8},
  editor =	{Raimund Kirner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1669},
  URN =		{urn:nbn:de:0030-drops-16695},
  doi =		{http://dx.doi.org/10.4230/OASIcs.WCET.2008.1669},
  note =	{also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3},
  annote =	{Keywords: Bayesian networks, embedded systems, hardware modeling, measurement-based execution time analysis, software modeling, probabilistic modeling, profilin}
}

Keywords: Bayesian networks, embedded systems, hardware modeling, measurement-based execution time analysis, software modeling, probabilistic modeling, profilin
Seminar: 8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08)
Issue date: 2008
Date of publication: 2008


DROPS-Home | Fulltext Search | Imprint Published by LZI