ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
Author(s)
Bibliographic Information
ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
共立出版, 2005.11
- Other Title
-
Dependable systems
ディペンダブルシステム : 高信頼システム実現のための耐故障検証テスト技術
- Title Transcription
-
ディペンダブル システム : コウシンライ システム ジツゲン ノ タメ ノ タイコショウ ケンショウ テスト ギジュツ
Available at / 99 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[227]-233
Description and Table of Contents
Description
本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。
Table of Contents
- 第１章 基礎概念（ディペンダブルなシステムとは；用語 ほか）
- 第２章 誤り検出とマスクによる耐故障化技術（静的マスク；動的マスク ほか）
- 第３章 分散システムのフォールトトレランス（分散システムのモデル；合意問題 ほか）
- 第４章 形式的設計検証技術（基本概念；ＣＴＬモデル検証 ほか）
- 第５章 テスト技術（テストとは；故障モデル ほか）
by "BOOK database"
