\chapter*{謝辞}
\addcontentsline{toc}{chapter}{謝辞}

本研究を行うにあたり, 日頃より多くの助言, ご指導いただきました河野真治助教授に心より感謝申し上げます. 

本研究は, JST/CREST 研究領域「実用化を目指した組み込みシステム用ディペンダブル・ オペレーティングシステム」D-ADD 研究チームとして実施しました. 
研究の機会を与えてくださった, 株式会社 Symphony の永山辰巳さんに感謝します. 

また, データベースの実装にあたり, 多くの議論にお付き合い頂いた大城信康さん, 並列信頼研究室の全てのメンバーに感謝いたします.