SafeGを用いた汎用OSの監視手法

• 三浦 功也

• 太田 貴也

• Daniel Sangorrin

• 本田 晋也

• 高田 広章

書誌事項

タイトル別名

• A method for monitoring GPOS using SafeG

抄録

本研究では組込み向け高信頼デュアルOSモニタSafeGを用いた，汎用OSの監視手法を提案・実装した．SafeGは単一の組込みシステム上で，リアルタイムOS(RTOS)と汎用OSを同時実行するために提案・実装された小規模なソフトウェアモジュールである．SafeGを用いてRTOSから汎用OSを監視することにより，汎用OSのカーネルや，既存の監視機構が正しく動作していることを保証することができる．そこで本研究では，SafeGを用いて，RTOSから汎用OSの実行シーケンスの監視を行う機構に着目し，その実装と評価を行うことで，実際に汎用OSの監視機構が実現できることを示した．In this study, a method for monitoring a general-purpose operating system (GPOS) using SafeG, a highly reliable dual-OS monitor for embedded systems is proposed and implemented. SafeG is a small-scale software module designed for concurrently executing a GPOS and real-time operating system (RTOS) on top of the same embedded system platform. By using SafeG for monitoring the GPOS from the RTOS, it is possible to ensure that the GPOS kernel, as well as other existing monitoring mechanism, work correctly. Therefore, in this study, we focused on a method consist of execution sequence and developed and evaluated, we confirmed from evaluation results that this monitoring mechanism was successfully accomplished.

収録刊行物

• 研究報告組込みシステム（EMB）

  研究報告組込みシステム（EMB） 2013 (1), 1-6, 2013-03-06

詳細情報

• CRID: 1571698602850525568
• NII論文ID: 110009551201
• NII書誌ID: AA12149313
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles