AbsInt, Saarbrücken

Einleitung / Überblick

AbsInt Angewandte Informatik GmbH bietet fortschrittliche Entwicklungswerkzeuge für eingebettete Systeme sowie Werkzeuge zur Validierung, Verifizierung und Zertifizierung sicherheitskritischer Software. Das Unternehmen wurde 1998 an der Universität Saarland gegründet und beschäftigt derzeit über 40 Mitarbeiter aus sechs Nationen. Kunden kommen aus über 40 Ländern weltweit, darunter die USA, Kanada, Japan, Australien und nahezu alle Mitgliedsstaaten der EU. AbsInt verfügt über ein Netzwerk von Distributoren, darunter wichtige Softwareanbieter

Tätigkeitsfelder

AbsInt ist spezialisiert in den Bereichen statische Programmanalyse, Compilertechnologie und Softwarevalidierung. Die Arbeitsbereiche umfassen die Analyse von Software, die Validierung von Speichersicherheit und die Überprüfung des Energieverbrauchs. Darüber hinaus werden potenzielle Laufzeitfehler, Cybersecurity Properties und Komponentenabhängigkeiten identifiziert

Leistungen & Services

AbsInt bietet Beratung, Schulung und Service in den Bereichen statische Programmanalyse, Compilertechnologie und Softwarevalidierung. Zu den angebotenen Dienstleistungen gehören:

• Bestimmung der Worst-Case Execution Time und des Worst-Case Stack Usage von Anwendungen
• Validierung der Speichersicherheit
• Überprüfung des Energieverbrauchs
• Auffinden potenzieller Laufzeitfehler und Cybersecurity Properties
• Analyse von Komponentenabhängigkeiten

Produkte

AbsInt bietet folgende Produkte an

• Astrée
• RuleChecker und CompCert. Astrée ermöglicht eine formale Überprüfung der Abwesenheit von Laufzeitfehlern und ungültigem parallelem Verhalten in C und C++ Anwendungen. RuleChecker ermöglicht die Überprüfung von C oder C++ Code gegen verschiedene Richtlinien wie MISRA
• CWE
• SEI CERT und ISO/IEC. CompCert ermöglicht das Kompilieren von Code mit besonderem Fokus auf Sicherheit und Zuverlässigkeit. TimingProfiler und StackAnalyzer werden ebenfalls angeboten

Schwerpunkte & Besonderheiten

AbsInt legt besonderen Wert darauf, eine schnelle, sounde und flexible Reaktion auf Kundenbedürfnisse zu ermöglichen, basierend auf einem generischen und generativen Framework. Dies wird durch eine hohe Kundenzufriedenheit und eine lange Geschichte erfolgreicher Forschungsprojekte bestätigt. Die Unterstützung von ISO 26262 und DO-178C sowie die Integration mit Jenkins, TargetLink, Eclipse und VS Code sind weitere Schwerpunkte. Astrée Ergebnisse ermöglichen es Entwicklern, höchste Sicherheitsstandards zu erreichen, Tests und Validierungen zu optimieren, die Softwareeffizienz zu steigern und die Markteinführungszeit und Systemkosten zu reduzieren

Adresse & Kontaktdaten

• AbsInt Angewandte Informatik GmbH
• Science Park 1
• 66123 Saarbrücken, Deutschland
• Phone: +49 681 383 600
• Fax: +49 681 383 60 20
• Email: [email protected]