Unsere Referenzen

Airbus-Logo

Seit vielen Jahren benutzt Airbus aiT, StackAnalyzer, Astrée und CompCert in der Entwicklung und DO-178B-Zertifizierung sicherheits­kritischer Software für verschiedene Flugzeug­familien, inklusive der primären Flug­steuerungs­software des größten Passagier­flugzeugs der Welt, A380.

Bosch-Logo

Die Bosch Automotive Steering (vormals ZF Lenk­systeme) ersetzte 2018 ihre alte Software durch Astrée und RuleChecker. Die viel schnelleren Analysen, die deutlich höhere Zuverlässigkeit und die wesentlich geringeren Support­kosten bewegten Bosch 2019 dazu, die Lizenz für beide Tools auf alle Nieder­lassungen weltweit auszudehnen.

Continental-Logo

Die Continental AG, einer der größten Automobil­zulieferer der Welt, verläßt sich seit Jahren auf unseren Stackanalyse-Service, um Stack­überläufe in ihren Airbag-Steuersystemen zu vermeiden.

Daimler-Logo

Daimler setzt aiT und StackAnalyzer bei unterschiedlichsten Projekten ein, zum Beispiel in der Entwicklung der Powertrain-Software des Actros.

Distalmotion-Logo

Bei Distalmotion ist RuleChecker im täglichen Einsatz in der Medizintechnik­entwicklung. Das Tool hilft dem Software-Team bei der Kontrolle und Verbesserung der Qualität und Regel­konformität ihrer sicherheits­kritischen Plattform für Operations­roboter.

DLR-Logo

Seit 2003 zählt das Deutsche Zentrum für Luft- und Raumfahrt zu unseren wichtigsten Partnern bei Forschungs­projekten des Bundes.

ebm-papst-Logo

Ebm-papst, der weltweit führende Hersteller von Elektromotoren und Venti­latoren für Klimaanlagen und Kühlsysteme, setzt Astrée zur fort­laufenden automatischen Verifizierung von sicherheits­kritischer Steuerungs­software ein.

ESA-Logo

2008 bewies Astrée die Ab­we­senheit von Laufzeit­fehlern in der C-Version der Andock­software des Weltraum­frachters „Jules Verne“, des ersten automati­schen Transfer­fahrzeugs der ESA. Die erfolg­reiche Andockung des Frachters an die Inter­nationale Raum­station ISS war die erste voll­automatische Kopplung im All, die von einem nicht­russischen Raum­fahrzeug durch­geführt wurde.

Framatome-Logo

Framatome setzt StackAnalyzer und Astrée zur Verifikation sicher­heits­kritischer Software ihrer Leittechnik-Systemplattform TELEPERM XS ein, welche u. a. für Reaktorschutz und Reaktorregelung verwendet wird.

Helbako-Logo

Der Automobilzulieferer Helbako setzt Astrée in der Entwicklung von Steuerungs­software ein, um die Ein­haltung von MISRA-Standards und die Abwesenheit von Laufzeit­fehlern nachzuweisen.

Honda-Logo

Honda setzt aiT, StackAnalyzer und ValueAnalyzer in der Ent­wicklung der FADEC-Software von Mantelstrom­triebwerken ein.

Luxoft logo

Auf der Suche nach einem SCA-Tool für eine AUTOSAR-Anwendung eines deutschen Zulieferers stellte Luxoft fest, daß RuleChecker das einzige Tool auf dem Markt ist, das sich problemlos integrieren läßt in einen komplexen Build-Prozeß mit virtuellen Maschinen, einem Jenkins-CI-Server und mehreren AUTOSAR-Adaptive-Toolchains verschiedener Hersteller.

McObject-Logo

In Vorbereitung auf die Veröffentlichung des ersten MISRA-konformen eingebetteten Datenbank-Systems integrierte McObject unseren RuleChecker in seine Entwicklungs­prozesse und berichtete von umgehenden Steigerungen in der Qualität und Stabilität seiner Software.

MTU-Logo

MTU Friedrichshafen setzt CompCert, aiT, StackAnalyzer, Astrée und RuleChecker zum Beweis der Korrekt­heit der Steuerungs­software von Not­strom­aggregaten in Kraft­werken ein. Zusammen mit den dazugehörigen Qualifizierungs­paketen sind die AbsInt-Tools Teil des Zertifizierungs­prozesses nach IEC 60880 und IEC 61508-3:2010.

NASA-Logo

2010 wurde aiT von NASA bei der staatlichen Untersuchung der Toyota-Rückrufaktion einge­setzt, um Timing-Defekte als Ursache für die unbeabsichtigte Fahrzeug­beschleunigung auszuschließen.

OHB-Logo

OHB benutzt aiT und StackAnalyzer in der Entwicklung der Software für die SmallGEO-Plattform für geo­stationäre Kommuni­kations­satelliten und die GALILEO-FOC+++-Plattform zur Satelliten­navigation.

u-blox-Logo

Die u-blox AG aus der Schweiz, der weltweit führende Anbieter von Lösungen für Kommunikation und Positionierung, setzt StackAnalyzer ein, um Stack­überläufe zu vermeiden und die Qualität und Verläß­lichkeit ihrer Controlling­software zu erhöhen.

Vestas-Logo

Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraft­anlagen ein, zur statischen Analyse der Ausführungs­zeit und des Stackverbrauchs.

Weitere Kunden