AbsInt Angewandte Informatik GmbH
AbsInt provides advanced development tools
for embedded systems, and tools for validation, verification and
certification of safety-critical software. The embedded market of today is characterized by constantly
rising software complexity and increasingly shorter time-to-market. The share
of safety-critical applications is rising.
AbsInt’s tools are designed to
- Enhance software safety
- Speed up time-to-market
- Lower testing and validation costs
- Improve software efficiency to reduce system costs
for embedded, real-time, safety-critical applications
aiCache is a tool for predicting a program's intrinsic instruction cache behavior. In other words, aiCache classifies most references to the instruction memory (instruction fetches) as cache hits or misses.
Product Name: aiPop
- Structured/Platform ASICs
The aiPop optimizer suite was developed to reduce the code size, improve the code quality, and, optionally, speed up the execution of assembly or object files produced by a C compiler.
Product Name: aiSee
Design for Test
- ASIC and IC Design
aiSee automatically calculates a customizable layout of graphs specified in GDL (graph description language). This layout is then displayed, and can be printed or interactively explored.
aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.
Astrée is a static program analyzer that proves the absence of
run-time errors (RTE) in safety-critical embedded applications written or automatically
generated in C.
a³ is a wrapper application that integrates any number of AbsInt’s tools for
static program analysis in a single intuitive user interface.
Product Name: PAG
Power Grid Analysis
- ASIC and IC Design
The PAG program analyzer generator supports the implementation of static program analyzers. PAG generates efficient data flow analyzers from concise specifications.
StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results are shown as annotations in the call graph and control flow graph.
TimingExplorer offers a set of parameterizable ECU core models
to explore the effects of different ECUs or different ECU configurations
on the worst-case execution time performance.
ValueAnalyzer is a static program analyzer for value analysis. It is particularly
useful for verifying the absence of illegal accesses to an embedded software system
from within third-party modules provided as object code.