PikeOS
他の仮想化システムとは異なり、PikeOSの機能は空間的リソース(メモリなど)の分割だけではなく、クライアントOSの時間的リソース(CPU時間など)を厳格に分割する。
それにより、タイミング特性を保持しつつ厳格なリアルタイムシステムを仮想化可能である。PikeOSのスケジューリング方式は特許となっている。
空間的および時間的リソースは、PikeOSシステムソフトウェアによって個々のVMへ静的に割り当てられる。PikeOSマイクロカーネルとこのシステムソフトウェアは、全域的な信頼できるコード(英語版)の最小レイヤーを形成している。少量の信頼できるコードとモジュール設計によりPikeOSは、IEC 61508、DO-178B(英語版)、EN 50128、EN 62304 といった工業規格に準拠することを要求される安全性が重視されるプロジェクトに適している。既知の例ではエアバスA350 XWBの統合モジュール式航空電子機器(英語版)およびエアバスA400Mのロードマスター・ワークステーションで用いられている。