pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems
G. Bernat, A. Colin, and S. Petters. (January 2003)mirror: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.14.8807&rep=rep1&type=pdf
Contact info:
bernat,acolin,petters@cs.york.ac.uk.
Abstract
This paper describes the tool support for a framework for performing
probabilistic worst-case execution time (WCET) analysis for embedded
real-time systems. The tool is based on a combination of measurement
and static analysis, all in a probabilistic framework. Measurement is used
to determine execution traces and static analysis to construct the worst
path and effectively providing an upper bound on the worst-case execution
time of a program. The paper illustrates the theoretical framework and
the components of the tool together with a case study.
%0 Journal Article
%1 ProbabWCET2003
%A Bernat, Guillem
%A Colin, Antoine
%A Petters, Stefan
%D 2003
%K mgr todo_tags
%T pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems
%U http://www.rapitasystems.com/system/files/YCS-2003-353.pdf
%X This paper describes the tool support for a framework for performing
probabilistic worst-case execution time (WCET) analysis for embedded
real-time systems. The tool is based on a combination of measurement
and static analysis, all in a probabilistic framework. Measurement is used
to determine execution traces and static analysis to construct the worst
path and effectively providing an upper bound on the worst-case execution
time of a program. The paper illustrates the theoretical framework and
the components of the tool together with a case study.
@article{ProbabWCET2003,
abstract = {This paper describes the tool support for a framework for performing
probabilistic worst-case execution time (WCET) analysis for embedded
real-time systems. The tool is based on a combination of measurement
and static analysis, all in a probabilistic framework. Measurement is used
to determine execution traces and static analysis to construct the worst
path and effectively providing an upper bound on the worst-case execution
time of a program. The paper illustrates the theoretical framework and
the components of the tool together with a case study.},
added-at = {2009-07-16T12:46:15.000+0200},
author = {Bernat, Guillem and Colin, Antoine and Petters, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/292ae6f7f0411dace19a44bf2ab2d5899/gwpl},
interhash = {69811d96002a38bd35eeb0c05cb39a90},
intrahash = {92ae6f7f0411dace19a44bf2ab2d5899},
keywords = {mgr todo_tags},
month = {January},
note = {mirror: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.14.8807&rep=rep1&type=pdf
Contact info:
{bernat,acolin,petters}@cs.york.ac.uk
},
school = {University of York. England, UK},
timestamp = {2009-07-16T12:46:15.000+0200},
title = {pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems},
type = {Techical Report YCS-2003-353},
url = {http://www.rapitasystems.com/system/files/YCS-2003-353.pdf},
year = 2003
}