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

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

Documents

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

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

ITEA 3 Call 1
Alt Alt Alt Alt Alt

ASSUME

Affordable Safe & Secure Mobility Evolution

ITEA 2 Call 4
Alt Alt Alt Alt

TIMMO-2-USE

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

ITEA 2 Call 1
Alt Alt Alt

ES_PASS

Embedded Software Product-based ASSurance