Methods, Models and Tools for Fault Tolerance

>> Google Books

Methods, Models and Tools for Fault Tolerance / Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642008665 [3642008666]
9783642008672 [3642008674]

書誌ID:

OB00354840

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Computer Science (Hardware & Networks)

言語:

英語

目次情報:

Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum

Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa

Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn

Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes

Fault Tolerance: Modelling in B / Part II：

Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen

Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav

Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius

Fault Tolerance in System Development Process / Part III：

Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau

Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle

Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook

Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi

Fault Tolerant Applications / Part IV：

Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky

Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko

Author Index

Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum

Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa

Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn

Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes

続きを見る

ブックレビュー

類似資料:

1 電子ブック Methods, Models and Tools for Fault Tolerance Butler, Michael, Jones, Cliff, Kanade, Takeo, Romanovsky, Alexander, Troubitsyna, Elena, Jones, Cliff B. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Fault Diagnosis and Tolerance in Cryptography Breveglieri, Luca, Kanade, Takeo, Koren, Israel, Naccache, David, Seifert, Jean-Pierre SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Rigorous Development of Complex Fault-Tolerant Systems Butler, Michael, Jones, Cliff B., Kanade, Takeo, Romanovsky, Alexander, Troubitsyna, Elena, Jones, Cliff SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Formal Methods and Software Engineering Butler, Michael, Hinchey, Michael G., Hinchey, Michael Gerard, Kanade, Takeo, Larrondo-Petrie, Mar?a M. Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Rigorous Development of Complex Fault-Tolerant Systems Butler, Michael, Jones, Cliff B., Kanade, Takeo, Romanovsky, Alexander, Troubitsyna, Elena Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Formal Methods and Software Engineering Butler, Michael, Hinchey, Michael G., Hinchey, Michael Gerard, Kanade, Takeo, Larrondo-Petrie, María M. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Software Engineering for Resilient Systems Troubitsyna, Elena A., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Software Engineering for Resilient Systems Romanovsky, Troubitsyna, Elena A. SpringerLink Books - AutoHoldings, Springer International Publishing
5 電子ブック Software Engineering for Resilient Systems Troubitsyna, Elena A., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Fault Diagnosis and Tolerance in Cryptography Breveglieri, Luca, Kanade, Takeo, Koren, Israel, Naccache, David, Seifert, Jean-Pierre Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Computer Safety, Reliability, and Security Romanovsky, Bitsch, Friedemann, Troubitsyna, Elena SpringerLink Books - AutoHoldings, Springer International Publishing

1

2

3

4

5

6

7

8

9

10

11

12