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