AbsInt

Über den Betrieb

Die AbsInt Angewandte Informatik GmbH ist ein renommiertes Softwareentwicklungsunternehmen mit Sitz in Saarbrücken. Das Unternehmen ist spezialisiert auf die Bereitstellung von Tools zur Analyse und Optimierung von Software für sicherheitskritische Anwendungen. AbsInt bietet eine Vielzahl von Tools, die von Entwicklern eingesetzt werden können, um die Qualität und Zuverlässigkeit ihrer Software zu verbessern. Eines der Hauptprodukte von AbsInt ist das Analysetool aiT, das automatisch sichere Grenzen für die maximale Ausführungszeit von Aufgaben in ausführbaren Dateien berechnet. Das Tool berücksichtigt dabei das Cache- und Pipeline-Verhalten des verwendeten Prozessors. Mit TimeWeaver können statische Analysen mit Messergebnissen aus Hardware-Traces kombiniert werden, um die Ausführungszeit von Software bereits in frühen Entwicklungsstadien zu überwachen. Das Tool TimingProfiler ermöglicht es Entwicklern, das zeitliche Verhalten ihrer Software zu überwachen. Ein weiteres wichtiges Tool von AbsInt ist der StackAnalyzer, der automatisch den maximalen Stackverbrauch von Aufgaben in eingebetteten Anwendungen ermittelt. Dabei analysiert das Tool binäre ausführbare Dateien und berücksichtigt alle möglichen Ausführungsszenarien. Dank seiner engen Integration mit TargetLink und SCADE sowie der Verfügbarkeit von Qualifikationskits für verschiedene Sicherheitsstandards wie ISO 26262, DO-178B und IEC 61508 ist der StackAnalyzer eine beliebte Wahl für Entwickler. Mit dem Tool Astrée können Entwickler automatisch die Abwesenheit von Laufzeitfehlern und ungültigem parallelem Verhalten in C/C++-Anwendungen nachweisen. Das Tool ist insbesondere für Gleitkommaberechnungen geeignet, sehr schnell und äußerst präzise. Der Analyzer überprüft auch MISRA-Codierungsregeln und unterstützt die Qualifikation nach ISO 26262, DO-178C-Level A und anderen Sicherheitsstandards. Es stehen Plugins für Jenkins und Eclipse zur Verfügung. RuleChecker ist ein weiteres wichtiges Tool von AbsInt, das C- oder C++-Code auf die Einhaltung von MISRA-Regeln, CERT-Empfehlungen und anderen Codierungsrichtlinien überprüft. Das Tool erstellt außerdem Code-Metrizen und unterstützt die einfache Qualifikation nach ISO 26262, DO-178B/C und anderen Sicherheitsstandards. Es gibt Plugins für TargetLink, Jenkins, Eclipse und ARM Keil µVision. Ein weiteres bemerkenswertes Produkt von AbsInt ist der CompCert, ein formell verifizierter optimierender C-Compiler für sicherheitskritische und missionskritische Software. Im Gegensatz zu anderen Compilern auf dem Markt ist der CompCert mathematisch bewiesen frei von Fehlern bei der Übersetzung. Dieses hohe Maß an Sicherheit und Vertrauen in die Richtigkeit des Kompilierungsprozesses ermöglicht es Entwicklern, die höchsten Standards in der Softwareentwicklung zu erfüllen. AbsInts Tools werden von renommierten Unternehmen auf der ganzen Welt eingesetzt, um hochwertige und zuverlässige Software zu entwickeln. Airbus France verwendet die Tools von AbsInt seit Jahrzehnten bei der Entwicklung von Sicherheitssoftware für verschiedene Flugzeugtypen, darunter die Flugsteuerungssoftware des A380, dem größten Passagierflugzeug der Welt. Honda setzte die Tools von AbsInt bei der Entwicklung der FADEC-Software für einen Turbofan-Motor ein. Die Technische Universität München verwendet die Tools von AbsInt für die Entwicklung, Tests und Optimierung von Flugsteuerungs- und Navigationsalgorithmen. Daimler setzt die Tools von AbsInt in vielen Automobilsoftwareprojekten ein, einschließlich des Motorsteuerungssystems des Actros-Lkw. AbsInt hat auch eine lange Liste von erfolgreichen Kooperationen und Partnerschaften. Bosch Automotive Steering konnte dank der Einführung von Astrée und RuleChecker von AbsInt erhebliche Einsparungen durch schnellere Analysen, höhere Genauigkeit und niedrigere Lizenzkosten erzielen. Continental vertraut seit Jahren auf den Stack-Analyse-Service von AbsInt, um Stack-Überläufe in ihren Airbag-Steuerungssystemen zu vermeiden. NASA verwendete das Timing-Analyse-Tool von AbsInt, um die Abwesenheit von timingbezogenen Softwarefehlern in der Untersuchung von Toyota im Jahr 2010 nachzuweisen. OHB verwendet die Tools von AbsInt bei der Entwicklung von Onboard-Software für Kommunikationssatelliten und Navigationssysteme. Die Europäische Raumfahrtagentur (ESA) setzte den Laufzeitfehler-Analyzer von AbsInt ein, um die Abwesenheit von Laufzeitfehlern in der automatischen Andocksoftware des Jules Verne Automated Transfer Vehicle nachzuweisen. AbsInt arbeitet auch eng mit verschiedenen Forschungsinstitutionen und Unternehmen zusammen, darunter das deutsche Zentrum für Luft- und Raumfahrt, Thales Alenia Space und Vestas. Seit ihrer Gründung im Jahr 1998 hat AbsInt einen herausragenden Ruf als Anbieter hochwertiger Softwareanalysetools für sicherheitskritische Anwendungen aufgebaut. Das Unternehmen setzt sich dafür ein, Entwicklern die Werkzeuge zur Verfügung zu stellen, die sie benötigen, um zuverlässige und sichere Software zu entwickeln. Mit ihrem breiten Spektrum an Tools und ihrer beeindruckenden Kundenliste bleibt AbsInt ein führender Anbieter in der Branche.

Branchen

Mehr Unternehmen in Saarbrücken