The USES group follows an approach to compute reliable run-time
guarantees which is based on well-understood theoretical 
foundations, practical in use, and efficient.

Our worst case execution time (WCET) prediction tool is
modularly structured: the task of determining the WCET is divided
into a sequence of subtasks.  The structure has been developed by
taking into account the results of previous work.  The subtasks value
analysis, cache analysis, and pipeline analysis are tackled by
abstract interpretation.  Path analysis is performed by integer linear
programming (ILP).

The analyses will be embedded in a framework which allows to generate
(or adapt) the analyses from one target description and provides well
defined interfaces and exchange formats.