VxWorks 653は、統合化アビオニクス（Integrated Modular Avionics: IMA）システムを制御するための堅牢なウインドリバー製オペレーティングシステムです。この製品には、あらゆるセーフティクリティカルな環境で強固なテストと認証機関の完全性を確保するための65,000を超えるハイパーリンク形式ファイルを収録した、世界で最も充実したDO-178B レベルA認証用エビデンスDVDと一体も含まれます。
VxWorks 653のリアルタイムOS（RTOS）は、業界最高レベルを誇るEclipseベースのWind River Workbench開発環境に強固に統合されたWind River VxWorks 653 Platformの一部として提供されます。この開発プラットフォームには、MMUによって保護されているARINC 653パーティション内部にあるプロセスとスレッドを検査するためのDO-178B認証取得済みの開発および検証ツールも含まれています。
VxWorks 653の主な特徴と機能には、次のようなものがあります。- ARINC 653 Part 1, サプリメント 2準拠：VxWorks 653は、最新のARINC 653 application executive（APEX）仕様を全面的に実装しています。また、堅牢な時間およびスペースパーティションスケジューラを備えています。
- アプリケーションAPIの拡張サポート：VxWorks、ARINC、POSIX API、また必要に応じて他の企業独自のAPIにアプリケーションを書き込むことができ、業界およびレガシーアプリケーションコードの迅速な統合を実現できます。
- 強力な2レベルの時間およびスペーススケジューラ：VxWorks 653は、分離、パフォーマンス、およびスケーラビリティを最大化する厳格な2レベルのスケジューラを実装しています。このモジュールオペレーティングシステム（Module Operating System：MOS）はカーネル空間内で作動し、あらかじめ定義されている時間を基準に、MMUによって保護されるパーティション、つまり仮想実行環境のスケジュールを設定します。各パーティション内部では、パーティションレベルのオペレーティングシステム（Partition-level Operating System：POS）が、VxWorks、ARINC、POSIXなどのAPIを使用して、プライオリティ及びプリエンティブを基準にタスクのスケジュールを設定します。この堅牢なスケジューリングおよび分離環境によって、ワンチップ上で複数の安全認証レベルを配備し、仮想アプリケーションパーティションを増やす場合の決定論的性能を実現できます。
-
IBLLのサポート：VxWorks 653は、独立ビルド、独立リンク、独立ロード（independent build, independent link, independent load：IBLL）を全面的にサポートしています。
- 独立ビルドにおいては、システムの一部を構築するためにシステムの全ソースコードは不要で、システム内のすべてのソフトウェアモジュールを構築する「システム」プロジェクトの作成が必要なくなったことを意味します。
- 独立リンクは、OSバイナリがなくても、アプリケーションをリンクできることを意味します。
- 独立ロードは、バイナリのロード、更新、またはフラッシングの個別実行を可能にします。
これは、VxWorks 653オペレーティングシステムおよびプラットフォームの重要な機能であり、ソフトウェアビルドを非同期的に提供する複数のアプリケーショングループやファンクションサプライヤを主催しているサードパーティをサポートするために、あらゆるIMA環境において重要な要件です。
- DO-178Bレベルの認証取得用ドキュメント：ウインドリバーは、VxWorks 653オペレーティングシステムに対し、完全なRTCA DO-178B/EUROCAE ED-12B認証取得用ドキュメントを提供することで、航空宇宙業界をリードしています。ウインドリバーのVxWorks 653認証取得用ドキュメントDVDには、DO-178B A、B、C、およびDレベル認証をサポートするために必要なすべての文書とツールが収録されています。認証取得用ドキュメントは、ナビゲーションとトレースを簡単に実行できるハイパーリンク形式で、DVDに収録された完全なパッケージとして提供され、認証機関による時間を緩和し費用を軽減します。この認証取得用ツールのパッケージは、IEC 61508、EN 50128、およびFDA 510（k）デバイス認証の基盤としても使用でき、工業、運輸、および医療デバイスのあらゆる分類レベルで役立ちます。
- 広範な言語サポート：VxWorks 653オペレーティングシステムは、C、C++、Ada、およびJavaランタイム環境をサポートしています。AdaおよびC言語バインディングは、ARINC 653 Part 1, サプリメント 2に完全に準拠しています。すべてのサポート言語で、ウインドリバーの強力なWorkbench開発環境の幅広い開発機能を活用できます。
- 大規模なパートナーエコシステム：あらゆる種類の統合テクノロジを確保するため、ウインドリバーは、スマートデバイス搭載ソフトウェアの最適化（DSO）業界で最も幅広いパートナーエコシステムを確立し、一流のハードウェアおよびソフトウェアプロバイダと協力して、COTS (Commercial Off- The- Shelf) ボード、システムモデリングツール、コントロール設計ツール、テストツール、認証サービス、プラットフォームシミュレーションアプリケーションなどのテクノロジに対応しています。