ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
著者
書誌事項
ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
共立出版, 2005.11
- タイトル別名
-
Dependable systems
ディペンダブルシステム : 高信頼システム実現のための耐故障検証テスト技術
- タイトル読み
-
ディペンダブル システム : コウシンライ システム ジツゲン ノ タメ ノ タイコショウ ケンショウ テスト ギジュツ
大学図書館所蔵 件 / 全100件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[227]-233
内容説明・目次
内容説明
本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。
目次
- 第１章 基礎概念（ディペンダブルなシステムとは；用語 ほか）
- 第２章 誤り検出とマスクによる耐故障化技術（静的マスク；動的マスク ほか）
- 第３章 分散システムのフォールトトレランス（分散システムのモデル；合意問題 ほか）
- 第４章 形式的設計検証技術（基本概念；ＣＴＬモデル検証 ほか）
- 第５章 テスト技術（テストとは；故障モデル ほか）
「BOOKデータベース」 より