Airbusは20年間以上複数の航空機タイプ向けのセーフティクリティカルなアビオニクスソフトウェアの開発において、AbsIntツールを使用してきました。その中には、世界最大の旅客機であるA380の飛行制御ソフトウェアも含まれています。さらに2000年以降、Airbusは、9つのEU研究プロジェクトでAbsIntと提携しました。
ESA（欧州宇宙機関）は、ジュール・ヴェルヌ自動輸送機の自動ドッキングソフトウェアにおけるランタイムエラーが存在しないことを証明するために、AbsIntランタイムエラー解析ツールを使用しました。これにより、同機が国際宇宙ステーションへ貨物を輸送することを助けました。
本田技研工業は、ターボファンエンジンのFADECソフトウェアの開発において、aiTとStackAnalyzerとValueAnalyzerを使用しました。
Daimlerは、Actrosトラックの駆動系の制御システム等、多くのオートモーティブのソフトウェアプロジェクトでAbsIntツールを使用しています。
NASAは、2010年のトヨタ自動車の大規模リコールに対する原因調査において、タイミング関連ソフトウェア欠陥がないことを示すために、AbsIntのタイミング解析ツールを使用しました。
Bosch Automotive Steeringは、レガシーのツールをAstréeとRuleCheckerに置き換えました。その結果、高速な解析、高精度、そして有利なライセンス費用により、費用を大幅に削減できました。
MTUは、発電所の非常用発電機向け制御ソフトウェアの正確性を確保するために、AbsIntの検証コンパイルおよび静的解析ツールを利用しています。
Vestasは、風力タービン制御ソフトウェアにおけるスタックオーバーフローの防止とタイミング動作の検証するために、AbsIntツールを使用しています。
Framatomeは、原子炉の設計、テスト、運用、およびトラブル対応において使用されるセーフティクリティカルなTELEPERM XSプラットフォームを検証するために、AbsIntランタイムエラー解析およびスタック解析ツールを使用しています。
Continentalは、エアバッグ制御システムでのスタックオーバーフローを防ぐために、長年AbsIntのスタック解析サービスを利用しています。2007年以降、Continentalは、4つのEU研究プロジェクトでAbsIntと提携しました。
組み込み無線通信および位置決定ソリューションの有力な納入業者であるu-bloxは、コンパイルの時にスタックオーバーフローを防ぎ、制御ソフトウェアの信頼性と品質を向上させるために、AbsIntツールを使用しています。
OHBは、静止通信衛星向けSmallGEOプラットフォームおよび衛星航法向けGALILEO FOCプラットフォームのミッションの成功に不可欠なオンボードソフトウェアの開発において、aiTとStackAnalyzerを利用しています。
2008年以降、Thalesは、8つのEU研究プロジェクトでAbsIntと提携しました。
その他顧客
