AbsInt Angewandte Informatik GmbH
AbsInt bietet modernste Entwicklungswerkzeuge für eingebettete Systeme mit Schwerpunkt Validierung, Verifizierung und Zertifizierung von sicherheitskritischer Software, sowohl bezüglich Safety als auch Cybersecurity. Unsere Tools werden eingesetzt, um die Verifizierungsanforderungen von Sicherheitsnormen aller Industriesektoren zu erfüllen, einschließlich DO-178C, DO-356A, ISO 26262, ISO 21434, IEC 61508, IEC 60880 und EN 50716. Sie finden kritische Softwarefehler und tragen zur Verbesserung der Softwarequalität bei. Unser Angebot umfasst Tools zur statischen Analyse der Worst-Case-Ausführungszeit und der Stack-Nutzung, zum Nachweis der Abwesenheit von Laufzeitfehlern und zur Überprüfung der Einhaltung von Codierungsrichtlinien wie MISRA oder CWE.
AbsInt Angewandte Informatik GmbH ist ein privat geführtes Unternehmen mit Sitz in Saarbrücken. Seit mehr als einem Vierteljahrhundert beliefern wir Kunden aus aller Welt und aus verschiedenen Branchen, darunter Luft- und Raumfahrt, Automobil, Verteidigung, Medizin und Energie.
