Wind River® Helix™ Virtualization Platform は、重要度が異なるアプリケーションが混在した環境に対応する安全認証を取得可能なマルチコア／マルチOSプラットフォームです。安全認証を取得した VxWorks® RTOS テクノロジーを活用し、航空宇宙、防衛、産業機器、医療機器、自動車業界において、マルチOSで重要度が異なるアプリケーションが混在する環境を単一エッジのコンピューティングソフトウェアプラットフォームに統合します。これにより、設計の簡素化、セキュリティ確保、将来を見据えたデザインを実現します。
プラットフォームの構成
Helix Virtualization Platform は、Type 1 ハイパーバイザと VxWorks や Wind River Linuxなどの統合済みゲストOSを組み合わせています。ミッションクリティカルなインフラストラクチャの開発アプリケーションをサポートし、安全認証を取得した航空電子機器や自動車、産業用アプリケーションに対応可能です。また、安全認証済みアプリケーションと非認証アプリケーションを混在させる必要のあるシステムにも対応しています。
ユースケースと利点
- レガシーシステムとの橋渡し：レガシーアプリケーションをネイティブに近いパフォーマンスレベルで実行可能。
- コスト削減：省スペース、軽量化、省電力を実現。
- アプリケーション統合：アプリケーションソフトの統合と再利用が可能。
- 柔軟な役割ベースの開発：IBLLシステムで XML 構成フォーマットを使用し、プラットフォームプロバイダ、認証プラットフォームプロバイダ、アプリケーション開発者、システムインテグレータの間で分離または独立した開発が可能。
機能と利点
- 64ビット Type 1 安全認証取得済みハイパーバイザ：サービスOSや特別な特権を持つVM不要。ディタミニスティックなゲストOSのリアルタイム応答時間。
- ティックレスカーネル：タイマー割り込みが定期的に発生せず、必要な場合にのみ配信。リアルタイムでディターミニスティックなパフォーマンスとレイテンシ。
- スケーラビリティ：コア数とゲスト数は無制限。重要度が異なるゲストOSの混在をサポート。
- ゲストOS対応：VxWorks、VxWorks Cert Edition、Wind River Linuxの商用サポート。
- 安全認証：DO-178C DAL A、IEC 61508 SIL 3、ISO 26262 ASIL-D認証取得。100機種以上の民間航空機、軍用機、宇宙システムで採用。
- セキュリティ：ゲストの隔離・分離、リソースアクセス制御、不正侵入対策。
ツールとサポート
- Wind River Workbench：プロジェクトの構築と構成、システムインテグレーションのサポート。
- Wind River Studio：ビルドサポート。
- プロフェッショナルサービス：受託開発、追加ソフトウェアコンポーネントの安全認証エビデンス提供。
- トレーニング：インストラクターによるトレーニング、オンデマンドトレーニング、eラーニング。
- カスタマーサポート：多タイムゾーンでのリアルタイムサポート、Wind River Support Network、プレミアムサポート。
研究結論
Helix Virtualization Platform は、多層的なセキュリティ要件を満たすミッションクリティカルなシステムに適しており、コスト削減と開発効率の向上を実現します。安全認証取得済みのプラットフォームとして、航空宇宙、防衛、産業機器などの分野で広く採用されています。
