ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
ITEA 4 page header grey golden ratio

AbsInt Angewandte Informatik GmbH

AbsInt is a privately-held company located in Saarbruecken, Germany. It provides advanced development tools for embedded sys­tems, and tools for validation, verification and certification of safety-critical software.

Background and mission
The embedded market of today is characterized by constantly rising soft­ware 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

The tools are based on a generic and generative framework which allows an extremely quick, sound and flexible response to customer needs. This has been proven in a series of successful projects and by outstand­ing customer satisfaction.

Analysis and verification tools

Software testing accounts for a major part of development costs. This is especially true for real-time systems, where correctness not only depends on logical correctness, but also on the timeliness of the results. Timing properties are hard to establish; measuring and time-stopping methods are error-prone and time-consuming.

Static program analyses provide means to reduce testing and validation costs. The underlying theory of abstract interpretation en­ables the system­atic derivation of provably correct analyses. The analyses are performed at compile-time and provide results which hold for any program execution and any possible input scenario.

(Extracted from, approved by Christian Ferdinand on 2013-01-29)

Small and Medium sized Enterprise
Alt Germany

Project participation

ITEA 3 Call 2
Alt Alt Alt Alt Alt
Winner ITEA Award of Excellence Special Vice-chairman's award 2021
project header


EMPHYSIS – Embedded systems with physical models in the production code software

ITEA 3 Call 1
Alt Alt Alt Alt Alt


Affordable Safe & Secure Mobility Evolution

ITEA 2 Call 4
Alt Alt Alt Alt


Timing Model - TOols, algorithms, languages, methodology, USE cases

ITEA 2 Call 1
Alt Alt Alt


Embedded Software Product-based ASSurance