+++ Die Einträge in der Aussteller- & Produktdatenbank entsprechen dem Anmeldestand zur embedded world 2020. +++
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Saarland
Deutschland
Telefon: +49(0)681.38360-0
Fax: +49(0)681.38360-20
AbsInt liefert Werkzeuge zur Validierung, Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software. Zu den Kernprodukten zählen die Quellcode-Analysatoren RuleChecker zum Überprüfen von Codierrichtlinien und Astrée zum Nachweis der Abwesenheit von Laufzeitfehlern und Datenwettläufen. Die statischen Analysatoren StackAnalyzer (Nachweis der Abwesenheit von Stacküberläufen), aiT WCET Analyzer (Berechnung von Laufzeitgarantien für Echtzeitsoftware) und TimingProfiler (Abschätzung der Programmausführungszeit in frühen Entwicklungsphasen) arbeiten auf Binärcode-Ebene.
TimeWeaver verbindet statische Pfadanalyse mit Echtzeit-Tracing auf Instruktionsebene, um längstmögliche Ausführungszeiten abzuschätzen. Durch Einsatz des formal verifizierten Compilers CompCert kann Fehlcompilierung sicher ausgeschlossen werden.
AbsInts Qualification Support Kits und Qualification Software Life Cycle Data-Berichte ermöglichen eine automatische Toolqualifizierung nach allen gängigen Sicherheitsnormen.
AbsInt wurde 1998 als Spin-Off der Universität des Saarlandes gegründet. Fünf Jahre später folgte mit dem europäischen IST-Preis eine erste Produktauszeichnung für aiT.
Unsere Kunden stammen aus mehr als vierzig Ländern in aller Welt. Airbus nutzte AbsInt-Tools, um die Flugsteuerungssoftware des A380 zu zertifizieren. Weitere Referenzkunden sind Framatome, Vestas, MTU Friedrichshafen, Baxter International, Daimler, Honda, OHB, ESA, u-blox, Roche Diabetes Care, Helbako, ebm-papst und viele mehr, siehe https://www.absint.com/success_de.htm.