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 www.absint.com, approved by Christian Ferdinand on 2013-01-29)
Small and Medium sized Enterprise



ITEA 3 Call 2

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


ITEA 3 Call 1

Affordable Safe & Secure Mobility Evolution


ITEA 2 Call 4

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



ITEA 2 Call 1

Embedded Software Product-based ASSurance