採用事例
課題
マルチコアプロセッサを搭載した軍用機装備品で、CAST-32A要件を満たした最高保証レベルであるDAL A認証を取得する必要がありました。
アプローチ
ウインドリバーは、エアバスと協力し、A330空中給油・輸送機（MRTT）が装備する自動空中給油（A3R）システムの安全認証取得プロセスを支援しました。エアバスA330 MRTTは、日中の自動空中給油機能で安全認証を取得 した世界初の空中給油機です。
エアバスは、A330 MRTT空中給油ブーム・システム（ARBS）にウインドリバーのVxWorks® 653を採用しています。ARBSは、複数のセーフティクリティカルレベルで動作するのARINC 653準拠アプリケーションで構成されており、DO-178C DAL A認証を取得しています。
導入効果
A3R自動空中給油システムは、給油作業の効率化、空中給油オペレーター（ARO）の作業負荷軽減、給油作業特有のリスク軽減、空中での給油速度の最適化を実現します。高度なテクノロジーにより受油機の形状と給油口を識別し、高高度飛行中でもブーム接続と給油を自動で行うことができます。
この開発でエアバスA330 MRTT A3R機能は、スペイン国立航空宇宙技術研究所（INTA）から、マルチコアプロセッサ上の複数のコアで同時に動作する複数のED-12C / DO-178C DAL Aアプリケーションの認証を取得しています。
「エアバスは、マルチコアプロセッサを搭載した軍用機装備品で、CAST-32A要件を満たした最高保証レベルであるDAL A認証を世界で初めて取得した企業です。ウインドリバーのサポートにより、エアバスはマルチコア認証の取得を成功させ、この素晴らしい成果を達成することができました。ウインドリバーは業界をリードする実証済みのテクノロジーを提供してくれただけでなく、信頼できるアドバイザーとしてシステムアーキテクチャが正しい方向に向かうように、マイルストーンの設定や潜在的な障害の特定、認証取得プロセスにおける主要な指標の策定をサポートしてくれました」
— エアバスの空中給油ソフトウェアグループ、マルチコア認証チームリーダー、アンドレ・モラン・バレーロ氏
