%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 }