- 担当教員
- 金子 晴彦
- 使用教室
- 月3-4(W831)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 76005
- シラバス更新日
- 2015年9月18日
- 講義資料更新日
- 2015年9月16日
- 学期
- 後期
講義概要
システムの故障が及ぼす影響を阻止し，高い信頼性を持つフォールトトレラントシステムを実現するために，システム構成と回復，誤り検出，テスト生成，検証等の技術について詳論する．
講義の目的
システムの故障が及ぼす影響を阻止し，高い信頼性を持つフォールトトレラントシステムを実現するために，システム構成と回復，誤り検出，テスト生成，検証等の技術について詳論する．
講義計画
1. フォールト・誤り・障害，フォールトトレランスのレベル
2. 多重化による耐故障設計
3. システム再構成，回復技術
4. フェイルセイフ技術
5. 分散システムのフォールトトレランス：耐故障時計同期
6. 分散システムのフォールトトレランス：ビザンチン合意
7. テスト生成：D アルゴリズム
8. テスト生成：PODEM
9. 故障シミュレーション
10. テスト容易化設計
11. 形式的設計検証導入，時相論理
12. 検証アルゴリズム
13. 検証の効率化
教科書・参考書等
フォールトトレラントシステムの構成と設計当麻喜弘，南谷崇，藤原秀雄著，槇書店，1991
フォールトトレラントコンピュータ南谷崇著，オーム社，1991
Fault-Tolerant Computing, Theory and Techniques Vol. I, II D.K. Pradhan (Ed.)，Prentice Hall，1986
関連科目・履修の条件等
計算機アーキテクチャ特論
成績評価
レポートおよび期末試験により評価する．
