SWEET is a prototype tool for WCET analysis developed by the Mälardalen WCET research group. SWEET can handle full ANSI-C programs including pointers, unstructured code, and recursion. The basic analysis steps of SWEET are shown in the figure below. Unlike most WCET analysis tools, SWEET is integrated with a compiler and performs its flow analysis on the intermediate representation (IR) of the compiler, after structural optimizations. Thus, the control structure of the IR and the object code is similar, and the flow analysis for the IR is valid for the object code as well. The low-level analysis of SWEET currently supports the NECV850E and ARM9 processors. The tool currently supports three different calculation methods: a fast path-based method, a global IPET method, and a hybrid clustered method. SWEET currently uses abstract execution with intervals, for the flow analysis. It allows the user explicit control over the placement of merge points, to control the tradeoff between precision and analysis time. The implementation also uses a number of techniques to speed up the analysis. One example is program slicing, which is used to restrict the abstract execution to only those program parts that may affect the program flow.

PAGE UNDER DEVELOPMENT.