Über uns

AbsInt Angewandte Informatik GmbH

AbsInt liefert Werkzeuge zur Validierung, Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software.

Der heutige Markt für eingebettete Systeme wird durch ständig wachsende Softwarekomplexität und immer kürzere Entwicklungszyklen geprägt. Der Anteil sicherheitskritischer Anwendungen steigt stetig an. Durch zunehmende Vernetzung steigt auch die Bedeutung von Cybersecurity.

AbsInts Produkte helfen Entwicklern von Systemen mit Safety- und Cybersecurity-Anforderungen,

· die Systemsicherheit und -effizienz zu erhöhen,

· die Entwicklungszyklen weiter zu verkürzen und

· den Aufwand für Tests und Fehlerbeseitigung zu senken.

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, Rolls-Royce Power Systems AG (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.