## Memo ## Abstract クラウドコンピューティングは，グリッドコンピューティングの資源共有とは異なる，大規模なサービス共有による複雑なシステムのための新しい技術として近年開発されたものである．クラウドコンピューティングの信頼性解析とモデル化は，システムの複雑さと規模の大きさから，容易な作業ではない．本論文では，クラウドコンピューティングを体系的に分析し，クラウドサービスの信頼性をモデル化する．クラウドコンピューティング環境では，オーバーフロー障害，タイムアウト障害，リソース不足障害，ネットワーク障害，ハードウェア障害，ソフトウェア障害，データベース障害など，様々な種類の障害が混在している．本論文では，クラウドサービスの信頼性を包括的に把握するために，これらの障害をマルコフモデル，待ち行列理論，グラフ理論を用いて全体的にモデル化する．さらに，提案されたモデルに従って，ベイズ理論とグラフ理論を統合した新しい評価アルゴリズムを開発した． [[2009__PRDC__Cloud Service Reliability - Modeling and Analysis__translations]]