講義のスライドダウンロードページ

フォールトトレラントシステム論

講義のねらい

システムの故障が及ぼす影響を阻止し，高い信頼性を持つフォールトトレラントシステムを実現するために，システム構成と回復，誤り検出，テスト生成，検証等の技術について詳論する．