aiT — WCET Analysis

aiT — WCET AnalysisExtensive timing testing is now a thing of the past. aiT WCET Analyzers statically compute tight bounds for the worst-case execution time of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.

StackAnalyzer — Stack Usage Analysis

StackAnalyzer — Stack Usage AnalysisStackAnalyzer determines the stack usage of the tasks in your application. Stack height differences are shown as annotations in the call graph and control flow graph. Critical program sections are marked using customizable colors. The analysis results are valid for all inputs and each task execution.


aiCall — Software Visualization

aiCall — Software VisualizationaiCall visualizes the call graph and the control flow graph of your application code. The graphical representation enhances productivity as you are able to understand complex program code faster.


aiSee — Graph Visualization

aiSee — Graph VisualizationaiSee calculates a customizable graph layout from an easy-to read graph specification. It features 15 layout algorithms, subgraph folding and nesting, fish-eye views, export of graphs to various formats and easy printing.


aiPop — Code Compaction

aiPop — Code CompactionaiPop automatically reduces the size and/or speeds up the execution of compiled C code. Reducing code size directly translates into reduced memory requirements and lower hardware costs.


aiCache — Cache Analysis

aiCache — Cache AnalysisaiCache automatically determines the worst-case intrinsic cache behavior of your tasks and allows you to check for cache conflicts affecting the time-critical parts of your code. aiCache produces reliable results without your having to instrument your code. The results are visualized to allow for convenient browsing.


PAG — Static Program Analysis

PAG — Static Program AnalysisPAG-generated analyzers are not only highly efficient thanks to sophisticated data structures and iteration algorithms, but can also be easily integrated into existing compilers thanks to a well-defined interface. The underlying theory of abstract interpretation provides the relation to the programming language semantics, thus enabling the systematic derivation of provably correct and terminating analyses.


Other products

If you are looking for information about custom-built products such as aiV, aiTV, aiTraval or aiScan21, please contact info@absint.com.

Top