aiT — WCET Analysis

aiT — WCET AnalysisExtensive timing testing is now a thing of the past. aiT WCET Analy­zers stat­i­cally compute tight bounds for the worst-case execution time of tasks in real-time sys­tems. They directly analyze binary ex­e­cut­ables and take the intrinsic cache and pipe­line behavior into account.

StackAnalyzer — Stack Usage Analysis

StackAnalyzer — Stack Usage AnalysisStackAnalyzer de­ter­mines the stack usage of the tasks in your ap­pli­ca­tion. Stack height dif­fer­ences are shown as an­no­ta­tions in the call graph and control flow graph. Critical program sections are marked using customizable colors. The analysis re­sults are valid for all inputs and each task ex­e­cution.


aiPop — Code Compaction

aiPop — Code CompactionaiPop automatically re­duces the size and, op­tion­ally, speeds up the ex­e­cution of compiled C code. Reducing code size directly translates into reduced memory requirements and lower hardware costs.


Astrée — Run-Time Error Analysis

Astrée — Run-Time Error AnalysisAstrée is a static pro­gram analyzer that proves the absence of run-time errors in safety-critical embedded ap­pli­cations written or automatically generated in C.


PAG — Static Program Analysis

PAG — Static Program AnalysisPAG-generated ana­lyzers are highly efficient thanks to so­phis­ti­cat­ed data structures and iter­ation algorithms. They can be easily integrated into existing com­pilers thanks to a well-defined interface.


aiSee — Graph Visualization

aiSee — Graph VisualizationaiSee calculates a cus­tom­izable graph layout from an easy-to read graph specification. It fea­tures 15 layout al­go­rithms, subgraph nesting, export of graphs to various formats and easy printing.


Other products

If you are looking for information about discontinued, upcoming, or custom-built products (such as aiV, aiTV, aiTraval, aiCall, aiCache, aiScan21, TimeWeaver or a³), please contact info@absint.com.

Top