PikeOSは、 が開発したマイクロカーネルに基づくリアルタイムオペレーティングシステムである。高度な信頼性とセキュリティが重要な組込みシステムをターゲットにしている。多重オペレーティングシステム (OS) のための論理区画環境を提供し、安全要求やセキュリティ要件といった異なる設計目標を単一マシンで共存させることができる。
概要 いくつかのプログラムがそれぞれ異なるクリティカルレベルをもつ場合、単一マシンで共有させる際に下部OSがそれらの独立性を保証する必要がある。それを達成する技法として広く受け入れられているのがリソース論理区画である。PikeOSではリソースの論理区分と仮想化を組合せている。その仮想マシン環境（以下VM）は複数のオペレーティングシステム全体をホスティングでき、それらの上でアプリケーションを動作させることができる。PikeOSは準仮想化を用いているので、オペレーティングシステムがそのVM上で動作するよう修正する必要がある。しかしアプリケーションプログラムは、まったく修正されていなくとも動作する。各VMが個別でリソースセットをもつので、あるVMがホストするプログラムは、他のVMでホストされているプログラムから独立している。これによりレガシーなプログラム（たとえばLinux）と安全性が重視されるプログラムを単一のマシンで共存させることを可能にする。他の仮想化システムとは異なり、PikeOSの機能は空間的リソース（メモリなど）の分割だけではなく、クライアントOSの時間的リソース（CPU時間など）を厳格に分割する。
それにより、タイミング特性を保持しつつ厳格なリアルタイムシステムを仮想化可能である。PikeOSのスケジューリング方式は特許となっているSYSGO’s Patent for scheduling mixed real-time and non-real-time applications www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967。
空間的および時間的リソースは、PikeOSシステムソフトウェアによって個々のVMへ静的に割り当てられる。PikeOSマイクロカーネルとこのシステムソフトウェアは、全域的なの最小レイヤーを形成している。少量の信頼できるコードとモジュール設計によりPikeOSは、IEC 61508、、EN 50128、EN 62304 といった工業規格に準拠することを要求される安全性が重視されるプロジェクトに適している。既知の例ではエアバスA350 XWBのおよびエアバスA400Mのロードマスター・ワークステーションで用いられているAirbus selects SYSGO PikeOS for A350 XWB aircraft Article on EDA Geek(18/11/2008)Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Article from Military Embedded Systems (10/12/2008)In-Flight Equipment for Airbus A400M www.menmicro.com/applications/avionics-in-flight,30AP011.html。
プログラミングインタフェースと環境 現在、以下のアプリケーションプログラミングインタフェース、ランタイム環境とゲストオペレーティングシステムが利用可能である。 PikeOS ネイティブインタフェース APEX POSIX PSE51 と PSE52 Linux AndroidSYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality Article from ElectronicSpecifier (April 2011)Android & Autosar running concurrently on PikeOS Video from Embedded World 2011 CoqosOpenSynergy brings security to infotainment EETimes Automotive (01/11/2011) リアルタイム Java Ada RTEMS OSEK ITRON さらにAUTOSARランタイム環境は現在開発中である。
サポートしているハードウェア PikeOSでサポートしているプロセッサにはPowerPC、x86、ARM、MIPS、SPARCおよびSuperHアーキテクチャがある。システムリソースを厳密に分割するには、プロセッサがメモリ管理ユニットを持っている必要がある。バージョン3.1よりPikeOSでマルチコアがサポートされるようになったPikeOS adds multicore Article from EE-Times (02/03/2010)。
脚注
外部リンク SYSGOオフィシャルサイト