AbsInt Angewandte Informatik GmbH

Saarbrücken, Germany

AbsInt is a worldwide leading provider of advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software. AbsInt’s product range includes tools for timing analysis, stack usage analysis, code compaction, and graph visualization.

The analysis tools and the code compactor are based on an abstract interpretation approach. They operate on executables for various processor architectures, including modern microcontrollers with caches and complex pipelines.

AbsInt’s working on this wide range of architectures has led to deep insights into the predictability properties of hardware architectures. AbsInt has been awarded a 2004 European Information Society Technology (IST) Prize for its timing analyzer aiT. Customers include large companies with safety-critical applications such as Daimler, Siemens, Infineon, Bosch and Airbus.

Other projects in which AbsInt is or has been involved include DAEDALUS, Verisoft, EmBounded, SuReal, PREDATOR, and ARTIST2.