Methods, Models and Tools for Fault Tolerance 2009

Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.): Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science Vol. 5454 Springer 2009, ISBN 978-3-642-00866-5

Formal Reasoning about Fault Tolerant Systems and Protocols

Ansgar Fehnker, Matthias Fruth, Annabelle McIver:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. 1-24
Pablo F. Castro, T. S. E. Maibaum:
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. 25-43
Michael Fisher, Boris Konev, Alexei Lisitsa:
Temporal Verification of Fault-Tolerant Protocols. 44-56
Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. 57-84
Ian J. Hayes:
Dynamically Detecting Faults via Integrity Constraints. 85-103

Elisabeth Ball, Michael Butler:
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. 104-129
Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. 130-151
Divakar Yadav, Michael Butler:
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. 152-176
Qaisar A. Malik, Johan Lilius, Linas Laibinis:
Model-Based Testing Using Scenarios and Event-B Refinements. 177-195

Zheng Chen, Luc Moreau:
Recording Process Documentation in the Presence of Failures. 196-219
Sadaf Mustafiz, Jörg Kienzle:
DREP: A Requirements Engineering Process for Dependable Reactive Systems. 220-250
Marta Plaska, Marina A. Waldén, Colin F. Snook:
Documenting the Progress of the System Development. 251-274
Andrey Berlizev, Nicolas Guelfi:
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. 275-296

Alexei Iliasov, Budi Arief, Alexander Romanovsky:
Step-Wise Development of Resilient Ambient Campus Scenarios. 297-323
Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander Romanovsky:
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. 324-341