PikeOS
PikeOSは、 が開発したマイクロカーネルに基づくリアルタイムオペレーティングシステムである。高度な信頼性とセキュリティが重要な組込みシステムをターゲットにしている。多重オペレーティングシステムのための論理区画環境を提供し、安全要求やセキュリティー要件といった異なる設計目標を単一マシンで共存させることができる。