アビオニクスのテストベッド
アビオニクス・ソフトウェアの検証は、最も困難で時間のかかるプロセスの1つです。特に、フライト・ディスプレイ、ナビゲーション、エンジン・モニタリングのようなシステムは、フライトの安全にとって最も重要であり、設計保証レベル（DAL）-Aに分類されます。
eInfochips Testbed For Avionics（eITFA）は、構造カバレッジ解析（SCA）、頻繁なデータロード操作、プラットフォームソフトウェアとC/C++ベースのアプリケーションの検証テスト手順開発、複数のLRUでのテスト手順自動実行など、最も時間のかかる検証作業を自動化します。
特徴
- ARINC-615データローダ
- ARINC-665 メディアセット・クリエーター
- DO-330認証を取得した独自のSCA用構造カバレッジツール
- DO 178C DAL-Cカバレッジ分析と互換性のあるステートメントおよびブランチカバレッジサポート
- 複数のLRUからの同時アップロードとダウンロード
- 動的テスト手順の実行
- 簡単な設定と接続
- 定期テストの自動実行
- 構造カバレッジ・レポートの自動生成
- SCA、Dataload、継続的インテグレーション、テストフレームワークを1つのツールに統合
- 直感的、カスタマイズ可能、拡張可能なグラフィカル・インターフェース
ソフトウェア検証フレームワーク
- プラットフォーム・ソフトウェア・コンポーネントを検証し、C/C++ベースのアプリケーションおよびライブラリを検証するためのサポートを拡張します。
- テスト手順の開発およびデバッグ時間の短縮
- 75% 異なるハードウェア（PPC/Intel/NXP）またはソフトウェアプラットフォーム（VxWorks、Linux、Lynx OS）にまたがるプラットフォームに依存しないフレームワークコンポーネント
- シンプルなテストハーネスAPIインターフェイス
- あるプラットフォームから別のプラットフォームへの、変更ゼロのテスト手順移植性。*要件が両プラットフォームで同じであると仮定した場合
- SCAインターフェース内蔵
- CLI/GUI/CIインターフェイス
特徴
- ARINC-615データローダ
- ARINC-665 メディアセット・クリエーター
- DO-330認証を取得した独自のSCA用構造カバレッジツール
- DO 178C DAL-Cカバレッジ分析と互換性のあるステートメントおよびブランチカバレッジサポート
- 複数のLRUからの同時アップロードとダウンロード
- 動的テスト手順の実行
- 簡単な設定と接続
- 定期テストの自動実行
- 構造カバレッジ・レポートの自動生成
- SCA、Dataload、継続的インテグレーション、テストフレームワークを1つのツールに統合
- 直感的、カスタマイズ可能、拡張可能なグラフィカル・インターフェース
- ソフトウェア検証フレームワーク
- プラットフォーム・ソフトウェア・コンポーネントを検証し、C/C++ベースのアプリケーションおよびライブラリを検証するためのサポートを拡張します。
- テスト手順の開発およびデバッグ時間の短縮
- 75% 異なるハードウェア（PPC/Intel/NXP）またはソフトウェアプラットフォーム（VxWorks、Linux、Lynx OS）にまたがるプラットフォームに依存しないフレームワークコンポーネント
- シンプルなテストハーネスAPIインターフェイス
- あるプラットフォームから別のプラットフォームへの、変更ゼロのテスト手順移植性。*要件が両プラットフォームで同じであると仮定した場合
- SCAインターフェース内蔵
- CLI/GUI/CIインターフェイス
