PikeOS

PikeOSは、 SYSGO GmbH（英語版）が開発したマイクロカーネルに基づくリアルタイムオペレーティングシステムである。高�…

PikeOS
PikeOS
SYSGOのPikeOSのアーキテクチャ
開発者 SYSGO GmbH
OSの系統 リアルタイム・L4
開発状況 開発中
ソースモデル クローズド・ソース
最新安定版 5.1 / 2021年5月 (5年前) (2021-05)
対象市場 安全性とセキュリティが要求される組込みシステム
使用できる言語 英語
プラットフォーム ARM, PowerPC, x86, SPARC
カーネル種別 マイクロカーネル
ライセンス プロプライエタリソフトウェア
ウェブサイト https://www.sysgo.com/pikeos
サポート状況
サポート中
テンプレートを表示
PikeOS at Embedded World 2014

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

概要

いくつかのプログラムがそれぞれ異なるクリティカルレベルをもつ場合、単一マシンで共有させる際に下部OSがそれらの独立性を保証する必要がある。それを達成する技法として広く受け入れられているのがリソース論理区画である。PikeOSではリソースの論理区分と仮想化を組合せている。その仮想マシン環境（以下VM）は複数のオペレーティングシステム全体をホスティングでき、それらの上でアプリケーションを動作させることができる。PikeOSは準仮想化を用いているので、オペレーティングシステムがそのVM上で動作するよう修正する必要がある。しかしアプリケーションプログラムは、まったく修正されていなくとも動作する。各VMが個別でリソースセットをもつので、あるVMがホストするプログラムは、他のVMでホストされているプログラムから独立している。これによりレガシーなプログラム（たとえばLinux）と安全性が重視されるプログラムを単一のマシンで共存させることを可能にする。他の仮想化システムとは異なり、PikeOSの機能は空間的リソース（メモリなど）の分割だけではなく、クライアントOSの時間的リソース（CPU時間など）を厳格に分割する。

それにより、タイミング特性を保持しつつ厳格なリアルタイムシステムを仮想化可能である。PikeOSのスケジューリング方式は特許となっている[1]。

空間的および時間的リソースは、PikeOSシステムソフトウェアによって個々のVMへ静的に割り当てられる。PikeOSマイクロカーネルとこのシステムソフトウェアは、全域的な信頼できるコード（英語版）の最小レイヤーを形成している。少量の信頼できるコードとモジュール設計によりPikeOSは、IEC 61508、DO-178B（英語版）、EN 50128、EN 62304 といった工業規格に準拠することを要求される安全性が重視されるプロジェクトに適している。既知の例ではエアバスA350 XWBの統合モジュール式航空電子機器（英語版）およびエアバスA400Mのロードマスター・ワークステーションで用いられている[2][3][4]。

プログラミングインタフェースと環境

現在、以下のアプリケーションプログラミングインタフェース、ランタイム環境とゲストオペレーティングシステムが利用可能である。

さらにAUTOSARランタイム環境は現在開発中である。

サポートしているハードウェア

PikeOSでサポートしているプロセッサにはPowerPC、x86、ARM、MIPS、SPARCおよびSuperHアーキテクチャがある。システムリソースを厳密に分割するには、プロセッサがメモリ管理ユニットを持っている必要がある。バージョン3.1よりPikeOSでマルチコアがサポートされるようになった[8]。

脚注

[脚注の使い方]
  1. ^ SYSGO’s Patent for scheduling mixed real-time and non-real-time applications www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967
  2. ^ Airbus selects SYSGO PikeOS for A350 XWB aircraft Article on EDA Geek(18/11/2008)
  3. ^ Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Article from Military Embedded Systems (10/12/2008)
  4. ^ In-Flight Equipment for Airbus A400M www.menmicro.com/applications/avionics-in-flight,30AP011.html
  5. ^ SYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality Article from ElectronicSpecifier (April 2011)
  6. ^ Android & Autosar running concurrently on PikeOS Video from Embedded World 2011
  7. ^ OpenSynergy brings security to infotainment EETimes Automotive (01/11/2011)
  8. ^ PikeOS adds multicore Article from EE-Times (02/03/2010)

外部リンク


この記事は英語版ウィキペディアにある同じ項目の記事のこの版から翻訳された記事である。
オープンソース
プロプライエタリ
歴史的
スタブアイコン

この項目は、オペレーティングシステムに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:オペレーティングシステム）。

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.