The project performs research in static WCET analysis. Such an analysis does not run the program, instead it derives a WCET bound by analysing the characteristics of the program code and the target hardware. Our current research focus is on methods for deriving safe bounds on the possible executions of a program, e.g. iteration bounds of loops and dependencies between conditional statements. For an illustrative description of our research see our popular science WCET article in Swedish (pdf) or in English (pdf).

We also perform case studies on WCET analysis towards Swedish companies, using commercial state-of-the-art WCET analysis tools, such as aiT from AbsInt GmbH and Bound-T from Tidorum Ltd. The result of the case-studies are used to guide both continued research and WCET tool development.

We are using a WCET analysis in education for analyzing code running on the Lego Mindstorms. The WCET analysis tool BoundT we use and the laboration environment are both free for academic use.

Our research group has produced a large number of publications describing our WCET analysis tool and analysis methods.

We also maintain a large number of WCET benchmarks, available for downloading and used to evaluate and compare different type of WCET analysis tools and methods.

The WCET project has been an active partner in the European NoE ARTIST2 in the Compilers and Timing Analysis cluster. We were project leaders of the ALL-TIMES project.

The project funding has come from the KK-foundation and we were earlier funded by the ASTEC (Advanced Software Technology) compentence center in Uppsala. ASTEC is a Vinnova (Swedish Agency for Innovation Systems) initiative.