Science Park 1
66123 Saarbruecken
Germany

Phone: +49-681-383600
Fax: +49-681-3836020
www.AbsInt.com

AbsInt Angewandte Informatik GmbH provides advanced development tools for embedded systems and services, such as program optimization and analysis Worst-case execution time (WCET) prediction.

AbsInt provides the following automatic program analysis tools and program optimization tools.

aiT, which has been awarded a 2004 European IST prize. aiT computes bounds on the Worst-Case Execution Time (WCET) of the tasks in a real-time system. It is the only tool worldwide that is capable of analyzing a tasks intrinsic cache and pipeline behavior based on formal cache and pipeline models. aiT is available for C16x/ST10 with the TASKING classic compiler and for TriCore 1796 with the TASKING VX-toolset.

StackAnalyzer computes the maximal stack memory usage of program tasks. StackAnalyzer is available for C16x/ST10 with TASKING classic compiler and for TriCore with TASKING VX-toolset.

The aiPop optimizer suite was developed to reduce code size without changing functionality. aiPop is available for C16x/ST10 with the TASKING classic compiler.