WCET Determination: Supported Processors

In 1999, in the IST project DAEDALUS, we developed and implemented a complete WCET analysis for the MCF 5307, consisting of a value analysis, an integrated cache and pipeline analysis and a path analysis. In addition to the raw information about the WCET, several parts can be visualized by the graph layout software aiSee to view detailed information delivered by the analysis.

Since then, we have been continuously improving the WCET analyzer, now called aiT, and adding support for further target processors.

Currently, evaluation versions of aiT are available for the following processor/compiler combinations:

Processor (click for details)	Compiler
Am486	CAD-UL Tool Suite compiler
C16x/ST10	TASKING (Altium)
C16x/ST10	KEIL (ARM)
C33	TI (Texas Instruments)
NEW: ERC32	GCC
NEW: ERC32	GNAT
HC11	Cosmic
HCS12	Hiware (Metrowerks/Freescale)
	Cosmic
	IAR
i386DX	PL/I compiler
LEON2, LEON3	GCC
LEON2, LEON3	GNAT
M68020	HP 68000 (C or Ada)
	XD Ada (EDS)
	GCC
PowerPC 5xx, 55xx, 56xx, 603e, 7448, 7448s, 750, 755, 755s	DiabData (WindRiver), C or Ada code
	GHS (Green Hills), C or Ada code
	GCC
TriCore	TASKING (Altium)
TriCore	HighTec GCC
NEC V850E	GHS (Green Hills)

All versions are available for Windows (7, Vista, XP) and Linux.

If you would like to receive an evaluation version of aiT, simply print out, fill out and sign the Evaluation License Agreement form (PDF, 100kB) and send or fax it to AbsInt.

Trial versions for several other processor/compiler combinations are available on request. If your processor, compiler, or operating system is not listed above, feel free to contact us.

Next: Contents | Previous: Pipeline, cache and loop analysis | Home