aiT automatically computes safe bounds for the worst-case execution time of tasks in binary executables, taking into account the cache and pipeline behavior of the processor in question.
StackAnalyzer automatically determines the worst-case stack usage of the tasks in embedded applications. It directly analyzes binary executables and considers all possible execution scenarios.
The analyzers are based on the technique of static program analysis by abstract interpretation. Their results are valid for all inputs and each execution of a task.
In Scale4Edge, the analyzers have been extended and adapted to the TGC architecture of MINRES so that they could successfully analyze the executables of the siren detection demonstrator.
Installation packages for Linux and Windows are available from AbsInt (support@absint.com).
This distribution of aiT and StackAnalyzer can be used for evaluation and research within the Scale4Edge project, but not for commercial purposes (see also the license information in the installation packages). Evaluation licenses and commercial licenses can be obtained from AbsInt.
AbsInt Angewandte Informatik GmbH
Sales Department
Science Park 1
66123 Saarbrücken
Deutschland