WCET Analysis is the core for the verification of real-time systems. It must compute safe and accurate estimations for the WCET of real-time tasks. Our tool PrediTime allows just that.
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 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.
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.