PikeOS

PikeOSは商用ハードリアルタイムオペレーティングシステム(RTOS)であり、分離カーネルベースのハイパーバイザを備え、さまざまなオペレーティングシステム(OS) およびアプリケーション用の複数の論理パーティションタイプ(それぞれ GuestOS と呼ばれます) をサポートしています。^[¹^] PikeOS は、モノのインターネット (IoT)向けの認証可能なスマートデバイスの作成をサポートするように設計されています。コントローラベースのシステムでメモリ管理ユニット(MMU) が存在しないがメモリ保護ユニット(MPU) が利用可能な場合、 ^[²^] PikeOS for MPU は重要なリアルタイムアプリケーション向けに設計されており、標準以上の安全性とセキュリティを提供します。^[³^]

概要

PikeOS は 2005 年に導入され、組み込みシステム(embedded systems) 用のリアルタイムオペレーティングシステム (RTOS) と仮想化プラットフォーム、Eclipseベースの統合開発環境(IDE)を組み合わせたものです。L4マイクロカーネルファミリーの商用クローンです。^[⁴^]^[⁵^] PikeOS は、航空宇宙、防衛、自動車、^[⁶^]輸送、産業オートメーション、医療、ネットワークインフラストラクチャ、および家電製品の分野で認証が必要な安全性とセキュリティが重要なアプリケーション向けに開発されました。^[⁷^]^[⁸^] PikeOS 分離カーネル (v5.1.3) は、EAL5+ のCommon Criteriaに対して認証されています。^[⁹^]^[¹⁰^]

PikeOS の重要な機能の 1 つは、同じコンピューティングプラットフォーム上で異なる安全性とセキュリティレベルのアプリケーションを同時に実行できることです。これは、ソフトウェアパーティションを介してこれらのアプリケーションを厳密に空間的および時間的に分離することによって実現されます。^[¹^]ソフトウェアパーティションは、メモリ、中央処理装置(CPU) 時間、入出力(I/O)、および定義済みの OS サービスリストにアクセスできる事前割り当て権限を持つコンテナと見なすことができます。PikeOS では、アプリケーションという用語は、PikeOSアプリケーションプログラミングインターフェイス(API)ライブラリにリンクされ、パーティション内でプロセスとして実行される実行可能ファイルを指します。PikeOS アプリケーションプログラミングインターフェイス ( API )の性質により、アプリケーションは単純な制御ループから、 Linuxやハードウェア仮想化^[¹¹^]ゲストのような完全な準仮想化ゲストオペレーティングシステムまで対応できます。^[¹²^]

参考文献

1 2カイザー、ロバート、ワグナー、ステファン。「PikeOSマイクロカーネルの進化」（PDF）。SYSGO AG、クライン＝ヴィンテルンハイム。2016年10月20日にオリジナル（PDF）からアーカイブ。 2026年4月1日に取得。
↑セクタンク、リダクション（2021年10月26日）。"Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme"。SECTANK（ドイツ語）。2025 年5 月 6 日に取得。
↑ 「安全性とセキュリティのためのBetriebssystem」 . Elektroniknet (ドイツ語) 。2025 年5 月 6 日に取得。
↑カイザー、ワグナー (2007)。PikeOSマイクロカーネルの進化。MIKES 2007 (レポート)。NICTA。CiteSeerX 10.1.1.68.5593。ISSN 1833-9646。2023年11 月18日取得。
↑ HEISER, GERNOT; ELPHINSTONE, KEVIN (2016 年 4 月)。「L4 マイクロカーネル: 20 年間の研究と展開から得られた教訓」(PDF)。trustworthy.systems 。2024年 5 月 9 日にオリジナル(PDF)からアーカイブ済み。2026年4 月 1 日に取得。
↑ガーストル、セバスティアン (2017 年 9 月 5 日)。「PikeOS は、KI ベースの自動車ソフトウェアプラットフォームです。」組み込みソフトウェアエンジニアリング(ドイツ語) 。2025 年5 月 6 日に取得。
↑ Zhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang. "分離カーネルの改良に基づく仕様とセキュリティ分析" . 2026年4月1日にオリジナルからアーカイブされました。
↑ Lozano, Santiago; Lugo, Tamara; Carretero, Jesús (2023). "安全性が重要なシステムにおけるハイパーバイザの使用に関する包括的な調査" . IEEE Access . 11 : 36244– 36263. doi : 10.1109/ACCESS.2023.3264825 . hdl : 10016/38175 . ISSN 2169-3536 .
↑ 「PikeOS 分離カーネルバージョン 5.1.3 の認証レポート」(PDF)。www.commoncriteriaportal.org。2022年 12 月 9 日にオリジナル(PDF)からアーカイブ済み。2026年4 月 1 日に取得。
↑ 「NXP LS1023A/LS1043A プロセッサ向け PikeOS 分離カーネル v5.1.3 のセキュリティターゲット」( PDF)。CYSGO。2026年 4 月 1 日にオリジナル(PDF)からアーカイブ済み。2026年4 月 1 日に取得。
↑オンライン、ヘイセ (2014 年 7 月 18 日)。「ハードウェア仮想化を組み合わせた組み込み Betriebssystem PikeOS」。iX マガジン(ドイツ語) 。2025 年5 月 6 日に取得。
↑ Verbeek, F.; Havle, O.; Schmaltz, J.; Tverdyshev, S.; Blasum, H.; Langenstein, B.; Stephan, W.; Wolff, B.; Nemouchi, Y. (2015). Havelund, K.; Holzmann, G.; Joshi, R. (eds.). "PikeOS分離カーネルの形式API仕様: 第7回NASA形式手法シンポジウム(NFM 2015)、2015年4月27日～29日、米国カリフォルニア州パサデナ" . NASA形式手法. Lecture Notes in Computer Science: 375– 389. doi : 10.1007/978-3-319-17524-9_26 .

外部リンク

SYSGOウェブサイト
PikeOS公式製品サイト

[:0-1] 1 2カイザー、ロバート、ワグナー、ステファン。「PikeOSマイクロカーネルの進化」（PDF）。SYSGO AG、クライン＝ヴィンテルンハイム。2016年10月20日にオリジナル（PDF）からアーカイブ。 2026年4月1日に取得。

[2] セクタンク、リダクション（2021年10月26日）。"Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme"。SECTANK（ドイツ語）。2025 年5 月 6 日に取得。

[3] 「安全性とセキュリティのためのBetriebssystem」 . Elektroniknet (ドイツ語) 。2025 年5 月 6 日に取得。

[4] カイザー、ワグナー (2007)。PikeOSマイクロカーネルの進化。MIKES 2007 (レポート)。NICTA。CiteSeerX 10.1.1.68.5593。ISSN 1833-9646。2023年11 月18日取得。

[5] HEISER, GERNOT; ELPHINSTONE, KEVIN (2016 年 4 月)。「L4 マイクロカーネル: 20 年間の研究と展開から得られた教訓」(PDF)。trustworthy.systems 。2024年 5 月 9 日にオリジナル(PDF)からアーカイブ済み。2026年4 月 1 日に取得。

[6] ガーストル、セバスティアン (2017 年 9 月 5 日)。「PikeOS は、KI ベースの自動車ソフトウェアプラットフォームです。」組み込みソフトウェアエンジニアリング(ドイツ語) 。2025 年5 月 6 日に取得。

[7] Zhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang. "分離カーネルの改良に基づく仕様とセキュリティ分析" . 2026年4月1日にオリジナルからアーカイブされました。

[8] Lozano, Santiago; Lugo, Tamara; Carretero, Jesús (2023). "安全性が重要なシステムにおけるハイパーバイザの使用に関する包括的な調査" . IEEE Access . 11 : 36244– 36263. doi : 10.1109/ACCESS.2023.3264825 . hdl : 10016/38175 . ISSN 2169-3536 .

[9] 「PikeOS 分離カーネルバージョン 5.1.3 の認証レポート」(PDF)。www.commoncriteriaportal.org。2022年 12 月 9 日にオリジナル(PDF)からアーカイブ済み。2026年4 月 1 日に取得。

[10] 「NXP LS1023A/LS1043A プロセッサ向け PikeOS 分離カーネル v5.1.3 のセキュリティターゲット」( PDF)。CYSGO。2026年 4 月 1 日にオリジナル(PDF)からアーカイブ済み。2026年4 月 1 日に取得。

[11] オンライン、ヘイセ (2014 年 7 月 18 日)。「ハードウェア仮想化を組み合わせた組み込み Betriebssystem PikeOS」。iX マガジン(ドイツ語) 。2025 年5 月 6 日に取得。

[12] Verbeek, F.; Havle, O.; Schmaltz, J.; Tverdyshev, S.; Blasum, H.; Langenstein, B.; Stephan, W.; Wolff, B.; Nemouchi, Y. (2015). Havelund, K.; Holzmann, G.; Joshi, R. (eds.). "PikeOS分離カーネルの形式API仕様: 第7回NASA形式手法シンポジウム(NFM 2015)、2015年4月27日～29日、米国カリフォルニア州パサデナ" . NASA形式手法. Lecture Notes in Computer Science: 375– 389. doi : 10.1007/978-3-319-17524-9_26 .

[

[

[

[

[

[

[

[

[

[

[

概要

参考文献

外部リンク

関連するトピック

リアルタイム オペレーティングシステム

分離カーネル

ハイパーバイザを備え、さまざまな

オペレーティングシステム

リアルタイムオペレーティングシステム