Seit vielen Jahren benutzt Airbus aiT, StackAnalyzer, Astrée und CompCert in der Entwicklung und DO-178B-Zertifizierung sicherheitskritischer Software für verschiedene Flugzeugfamilien, inklusive der primären Flugsteuerungssoftware des größten Passagierflugzeugs der Welt, A380.
Die Bosch Automotive Steering (vormals ZF Lenksysteme) ersetzte 2018 ihre alte Software durch Astrée und RuleChecker. Die viel schnelleren Analysen, die deutlich höhere Zuverlässigkeit und die wesentlich geringeren Supportkosten bewegten Bosch 2019 dazu, die Lizenz für beide Tools auf alle Niederlassungen weltweit auszudehnen.
Die Continental AG, einer der größten Automobilzulieferer der Welt, verläßt sich seit Jahren auf unseren Stackanalyse-Service, um Stacküberläufe in ihren Airbag-Steuersystemen zu vermeiden.
Daimler setzt aiT und StackAnalyzer bei unterschiedlichsten Projekten ein, zum Beispiel in der Entwicklung der Powertrain-Software des Actros.
Bei Distalmotion ist RuleChecker im täglichen Einsatz in der Medizintechnikentwicklung. Das Tool hilft dem Software-Team bei der Kontrolle und Verbesserung der Qualität und Regelkonformität ihrer sicherheitskritischen Plattform für Operationsroboter.
Seit 2003 zählt das Deutsche Zentrum für Luft- und Raumfahrt zu unseren wichtigsten Partnern bei Forschungsprojekten des Bundes.
Ebm-papst, der weltweit führende Hersteller von Elektromotoren und Ventilatoren für Klimaanlagen und Kühlsysteme, setzt Astrée zur fortlaufenden automatischen Verifizierung von sicherheitskritischer Steuerungssoftware ein.
2008 bewies Astrée die Abwesenheit von Laufzeitfehlern in der C-Version der Andocksoftware des Weltraumfrachters „Jules Verne“, des ersten automatischen Transferfahrzeugs der ESA. Die erfolgreiche Andockung des Frachters an die Internationale Raumstation ISS war die erste vollautomatische Kopplung im All, die von einem nichtrussischen Raumfahrzeug durchgeführt wurde.
Framatome setzt StackAnalyzer und Astrée zur Verifikation sicherheitskritischer Software ihrer Leittechnik-Systemplattform TELEPERM XS ein, welche u. a. für Reaktorschutz und Reaktorregelung verwendet wird.
Der Automobilzulieferer Helbako setzt Astrée in der Entwicklung von Steuerungssoftware ein, um die Einhaltung von MISRA-Standards und die Abwesenheit von Laufzeitfehlern nachzuweisen.
Honda setzt aiT, StackAnalyzer und ValueAnalyzer in der Entwicklung der FADEC-Software von Mantelstromtriebwerken ein.
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.
In Vorbereitung auf die Veröffentlichung des ersten MISRA-konformen eingebetteten Datenbank-Systems integrierte McObject unseren RuleChecker in seine Entwicklungsprozesse und berichtete von umgehenden Steigerungen in der Qualität und Stabilität seiner Software.
MTU Friedrichshafen setzt CompCert, aiT, StackAnalyzer, Astrée und RuleChecker zum Beweis der Korrektheit der Steuerungssoftware von Notstromaggregaten in Kraftwerken ein. Zusammen mit den dazugehörigen Qualifizierungspaketen sind die AbsInt-Tools Teil des Zertifizierungsprozesses nach IEC 60880 und IEC 61508-3:2010.
2010 wurde aiT von NASA bei der staatlichen Untersuchung der Toyota-Rückrufaktion eingesetzt, um Timing-Defekte als Ursache für die unbeabsichtigte Fahrzeugbeschleunigung auszuschließen.
OHB benutzt aiT und StackAnalyzer in der Entwicklung der Software für die SmallGEO-Plattform für geostationäre Kommunikationssatelliten und die GALILEO-FOC+++-Plattform zur Satellitennavigation.
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 Controllingsoftware zu erhöhen.
Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraftanlagen ein, zur statischen Analyse der Ausführungszeit und des Stackverbrauchs.