Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Paperback(2006)

$101.50 $109.00 Save 7% Current price is $101.5, Original price is $109. You Save 7%.
Eligible for FREE SHIPPING
  • Get it by Monday, June 25 , Order now and choose Expedited Delivery during checkout.

Overview

Rigorous Development of Complex Fault-Tolerant Systems by Michael Butler

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

Product Details

ISBN-13: 9783540482659
Publisher: Springer Berlin Heidelberg
Publication date: 02/02/2007
Series: Lecture Notes in Computer Science , #4157
Edition description: 2006
Pages: 406
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Train Systems.- Train Systems.- Formalising Reconciliation in Partitionable Networks with Distributed Services.- The Fault-Tolerant Insulin Pump Therapy.- Reasoning About Exception Flow at the Architectural Level.- Are Practitioners Writing Contracts?.- Determining the Specification of a Control System: An Illustrative Example.- Achieving Fault Tolerance by a Formally Validated Interaction Policy.- F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.- On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.- Formal Development of Mechanisms for Tolerating Transient Faults.- Separating Concerns in Requirements Analysis: An Example.- Rigorous Fault Tolerance Using Aspects and Formal Methods.- Rigorous Development of Fault-Tolerant Agent Systems.- Formal Service-Oriented Development of Fault Tolerant Communicating Systems.- Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.- Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.- Towards a Method for Rigorous Development of Generic Requirements Patterns.- Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.- Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing.- Position Papers.- Tools for Developing Large Systems (A Proposal).- Why Programming Languages Still Matter.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews