|
 Extensive 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
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.
|
 aiPop
automatically reduces the size and, optionally, speeds up
the execution of compiled C code. Reducing code size directly translates
into reduced memory requirements and lower hardware costs.
|
|
 Astrée
is a static program analyzer that proves the absence of run-time errors in safety-critical embedded
applications written or automatically generated in C.
|
 ValueAnalyzer
is a static program analyzer that
is particularly useful for verifying the absence of
illegal accesses to an embedded software system from
within third-party modules provided as object code.
|
|
 TimingExplorer
offers a set of parameterizable ECU core models to explore
the effects of different ECUs or different ECU configurations on the
WCET performance.
|
 PAG-generated
analyzers are highly efficient thanks to sophisticated data
structures and iteration algorithms. They can be easily integrated
into existing compilers thanks to a well-defined interface.
|
|
 aiSee calculates a
customizable graph layout from an easy-to read graph specification.
It features various layout algorithms, subgraph nesting, export of
graphs to numerous formats and easy printing.
|
 a³
is a wrapper application that integrates any combination of AbsInt’s tools
for static program analysis (aiT, StackAnalyzer, ValueAnalyzer, TimingExplorer, TimeWeaver)
in a single intuitive user interface.
|
|
Other products
If you are looking for information about discontinued,
upcoming, or custom-built products (such as aiScan21, aiTV, aiTraval, aiCall, aiCache
or TimeWeaver), please contact info@absint.com.
|