AbsInt Angewandte Informatik GmbH

Description

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)

Project involvement

15016

EMPHYSIS

Programme call
ITEA 3 Call 2
Status
Running
Project leader
Oliver Lenord
14014

ASSUME

Programme call
ITEA 3 Call 1
Status
Running
Project leader
Wolfgang W. Köpf
09033

TIMMO-2-USE

Programme call
ITEA 2 Call 4
Status
Completed
Project leader
Daniel Karlsson
06042

ES_PASS

Programme call
ITEA 2 Call 1
Status
Completed
Project leader
Maurice Heitz

Organisation information

Type
Small and Medium sized Enterprise
Country
Germany
Website
http://www.absint.com