@techreport{oai:ipsj.ixsq.nii.ac.jp:00090655, author = {三浦, 功也 and 太田, 貴也 and Daniel, Sangorrin and 本田, 晋也 and 高田, 広章 and Takuya, Miura and Takaya, Ohta and Daniel, Sangorrin and Shinya, Honda and Hiroaki, Takada}, issue = {1}, month = {Mar}, note = {本研究では組込み向け高信頼デュアル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.}, title = {SafeGを用いた汎用OSの監視手法}, year = {2013} }