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
Product Category:
Debugging
- 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
Product Category:
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.
Product Name: PAG
Product Category:
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.
