PrediFlow performs flow analysis of the program to determine its control-flow graph, which is later augmented with the results obtained from PrediMeasure. See more...

PrediMeasure

PrediMeasure captures actual execution times of your program using proprietary coverage techniques. It ensures that program parts manifest a variety of execution times that increase confidence in the estimation.

PrediCalculate

We compute an estimation for the WCET using a complex calculation technique that takes into account the execution history of the program parts to yield tight WCET estimations.