MRTC research projects

Static WCET analysis is an alternative method to determine the WCET of a program, relying on mathematical models of the software and hardware involved. To decide the WCET both the characteristics of the program code and the computer hardware must be considered. The WCET project focusses on the first problem, researching in methods to derive information on the possible execution paths of the analysed program, e.g. iteration bounds of loops and dependencies between conditionals.

We also perform case studies on WCET analysis towards Swedish companies, using commercial state-of-the-art WCET analysis tools. The result of the case-studies are used to guide both continued research and commercial WCET tool development.

The WCET project is an active partner in the European ARTIST2 research network on timing analysis. The goal of the cluster is to combine the best components of existing European WCET analysis tools.

The WCET project was originally situated both at Uppsala University (in Uppsala, Sweden), C-Lab (in Paderborn, Germany) and MdH (in Västerås, Sweden) but has since summer 2003 moved fully to MdH.

Latest project publications [ Show all publications ]

A prototype tool called SWEET (SWedish Execution Time Tool) has been developed, in a modular fashion supporting different phases of WCET analysis. The current research focus is on flow analysis methods.