Estimating the probabilist worst case execution time (pWCET) of a program is estimating an upperbound of a program as a model that will cover all the possible scenarios of that program. This statistical model allows to find extremely large times that the program may take to be executed and their probability  of appeareance. In order to build a statistical model we need to execute the programs a large number of times so that we may observe the variatiion of its execution time. Therefore we call this analysis a measurement-based timing analysis. Our measurement-based timing analysis is based on the utilization of the theory of extreme values (EVT).

An online version of our tool allow estimating the pWCET of your data. You will need an id and password to do that. Please do not hesitate to contact us if you want to test our tool.