AbsInt Angewandte Informatik GmbH

Logo AbsInt

Die AbsInt Angewandte Informatik GmbH ist ein KMU, das auf die Entwicklung von Werkzeugen zur Programmanalyse spezialisiert ist. Zu AbsInts Produkten gehören Werkzeuge zur Laufzeitanalyse, der Stackverbrauchsanalyse und zum Nachweis der Abwesenheit von Laufzeitfehlern. Diese basieren auf Abstrakter Interpretation, einer Technik der statischen Programmanalyse.

Das für das Projekt relevante Produkt von AbsInt ist der Laufzeitanalysator aiT, der durch statische Programmanalyse auf ausführbaren (compilierten) Programmen sichere obere Schranken für die Laufzeit von nicht-unterbrochenen Prozessen findet. Die Ergebnisse von aiT sind für alle Eingaben und Programmläufe gültig. AbsInt verkauft Lizenzen zur Benutzung von aiT am Standort des Käufers und bietet Analyseservice an, bei dem Kundensoftware bei AbsInt analysiert wird. Zu den Kunden von AbsInt gehören große Unternehmen mit sicherheitskritischen Anwendungen aus dem Bereich der Luftfahrt- und Automobilindustrie, wie Daimler, Siemens, Infineon, EADS und Airbus.

Ansprechpartner

Dr.-Ing. Christian Ferdinand
AbsInt Angewandte Informatik GmbH
Science Park 1, 66123 Saarbrücken
Email: ferdinand(at)absint.com
WWW: www.absint.com