HCL OneTest: 進化するアビオニクスの検証と妥当性

2021/4/1 - 読み終える時間: ~1 分

Advancing Avionics Verification and Validation の翻訳版です。

HCL OneTest: 進化するアビオニクスの検証と妥当性

2021年3月31日

著者: Nabeel Jaitapker / Product Marketing Lead, HCL Software

アビオニクス・ソフトウェア・エンジニアリング・プロジェクトの遅延を減らすことは、エラーが致命的な損失につながる可能性のあるソフトウェアの失敗リスクのために非常に困難です。実際に、ソフトウェア検証・妥当性確認プロジェクトの90％以上が遅れて納入されています。

航空電子機器の検証と妥当性確認は、規制要件である DO-178B または DO-178C ソフトウェア規格に準拠するために多大なエンジニアリングの努力を必要としますが、チームは市場投入までの時間の目標を達成するために、自動化によってこの労力を削減する方法を常に模索しています。

HCL Engineering and R&D Services (ERS) は、航空分野における世界最大級のサードパーティサービスプロバイダであり、ボーイング、エアバス、ボンバルディア、エンブラエル、ガルフストリーム、COMACなどの主要プログラムのアビオニクスおよびエレクトロメカニカルシステムについて、世界中の15社以上のアビオニクスのお客様と協力しています。

HCL ERSのアビオニクス・チームは、10～15年前から IBM Rational Test RealTime を使用しており、同製品に関する深い専門知識を持っていましたが、Test RealTime には検証プロセスをより効率的かつ効果的にするための機能がいくつか欠けていました。

そのため、HCL OneTest Embeddedのエンジニアリング・チームと協力して、HCL OneTest Embedded をすべてのテスト・フェーズで使用できるようにするための新機能を導入しました。

HCL ERSが導入したソリューション (eDAT) は、C/C++ ライブラリ（ディスクリートI/O、ARINC バス...をサポート）を介して、テスト対象のシステムとテスト専用のマシンをインタフェースするワークベンチに依存しており、OneTest Embedded の使用に基づいて、アビオニクス・ソフトウェア・テスト/検証・妥当性確認の上位5つのカテゴリ（コードレビュー、ローレベルテスト、ソフトウェア-ソフトウェア統合テスト、ハードウェア-ソフトウェア統合テスト、分析）を対象としています。

OneTest Embedded を使用して、ソフトウェアコードの正確性と一貫性を確保しながら、テストケース作成の労力を20～25％削減した事例をダウンロード できます。また、コード・カップリング解析の作業を3分の1に減らし、700時間以上の作業を削減しました。さらに、コールグラフやスクリプトレスのビジュアルテストエディタによるテスト作成支援により、14％以上の削減を達成しました。