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

摘要

本研究では組込み向け高信頼デュアルOSモニタSafeGを用いた，汎用OSの監視手法を提案·実装した．SafeGは単一の組込みシステム上で，リアルタイムOS（RTOS）と汎用OSを同時実行するために提案·実装された小規模なソフトウェアモジュールである．SafeGを用いてRTOSから汎用OSを監視することにより，汎用OSのカーネルや，既存の監視機構が正しく動作していることを保証することができる．そこで本研究では，SafeGを用いて，RTOSから汎用OSの実行シーケンスの監視を行う機構に着目し，その実装と評価を行うことで，実際に汎用OSの監視機構が実現できることを示した．