Rigorous Development of Complex Fault-Tolerant Systems: 4157 - Brossura

Butler, Michael

Brossura

ISBN 10: 3540482652 ISBN 13: 9783540482659

Casa editrice: Springer Berlin Heidelberg, 2008

Riassunto

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.

Su questo libro

Contenuti

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.

Product Description

Book by None

Dettagli dell'edizione

• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540482652
• ISBN 13: 9783540482659
• Rilegatura: Copertina flessibile
• Numero di pagine: 416
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania