Science Park 1
66123 Saarbruecken
Germany
Phone: +49-681-383600
Fax: +49-681-3836020
www.absInt.com
Partnership
AbsInt provides advanced static analysis tools for validation, verification and certification of safety-critical software, such as:
aiT. Statically computes tight upper bounds for the worst-case execution time of tasks in real-time systems. The bounds are guaranteed to hold for every possible execution scenario. aiT directly analyzes binary executables and takes the cache and pipeline behaviour of the CPU into account. aiT supports the TASKING VX-toolset for C16x/ST10, TriCore and ARM.
TimingProfiler. Computes execution time estimates of programs without the need to repeatedly provide test inputs, execute, and measure. It is ideally suited for constantly monitoring timing behaviour during software development. TimingProfiler supports the TASKING VX-toolset for TriCore.
StackAnalyzer. Determines the worst-case stack usage of the tasks in your application and can formally prove the absence of stack overflows and works on binary file level. StackAnalyzer is available for the TASKING VX-toolset for C16x/ST10, TriCore and ARM.
About
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.