新潟工科大学

　コンピュータが我々の生活に深くかかわり社会活動の大きな部分を占めるにつれて，信頼出来るコンピュータシステムの必要性が益々高まっている．本講義ではフォールトトレラントシステムあるいはデペンダブルシステムと呼ばれる信頼度の高いシステムを実現するための基礎理論，及びシステムの構成に必要な各種の技術等について解説する．また論文紹介を行い、最新の技術動向を理解する．

　１．ガイダンス
　２．システムの故障事例と問題点の分析
　３．信頼性と安全性
　４．信頼性のモデル
　５．故障率と寿命分布　
　６. 指数分布と統計的方法
　７．ワイブル分布と統計的方法
　８．フォールトトレラントシステムの概要
　９．誤りの検出･訂正と故障マスク
　10．システムにおける誤り回復
　11．高信頼化システムの事例（１）
　12．高信頼化システムの事例（２）
　13．デペンダブルシステムの動向（１）
　14．デペンダブルシステムの動向（２）
　15．デペンダブルシステムの動向（３）

　授業の中で実施するディスカッションへの参加度及び授業で課すレポートを総合的に評価する．

　適宜プリントを配布する．

　（１）Fault Tolerance in Distributed Systems
　　　　(Prentice Hall)
　（２）デイペンダブルシステム
　　　　(共立出版)

　適宜文献の輪講を行う。