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

本研究を行うにあたりご多忙にも関わらず日頃より多くの助言, ご指導をいただきました河野真治准教授に心より感謝いたします.\\
研究を行うにあたり, 並列計算環境の調整, 意見, 実装に協力いただいた谷成 雄さん, 杉本 優さん, 並びに並列信頼研究室の全てのメンバーに感謝いたします.\\
また、本研究は, JST/CREST 研究領域「実用化を目指した組み込みシステム用ディペンダブル・オペレーティングシステム」D-ADD
研究チームとして実施された.
様々な研究や勉強の機会を与えてくださった, 株式会社Symphonyの永山辰巳さん, 同じく様々な助言を頂いた森田育宏さんに感謝いたします.
様々な研究に関わることで自身の研究にも役立てることが出来ました.\\
最後に, 大学の修士まで支えてくれた家族に深く感謝します.