| 翻訳と辞書 |
PikeOS
PikeOSは、 が開発したマイクロカーネルに基づくリアルタイムオペレーティングシステムである。高度な信頼性とセキュリティが重要な組込みシステムをターゲットにしている。多重オペレーティングシステムのための論理区画環境を提供し、安全要求やセキュリティー要件といった異なる設計目標を単一マシンで共存させることができる。
== 概要 ==
いくつかのプログラムがそれぞれ異なるクリティカルレベルをもつ場合、単一マシンで共有させる際に下部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 〕。
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「PikeOS」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|