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.
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.