Concurrency in Dependable Computing / Edition 1

Concurrency in Dependable Computing / Edition 1

by Paul Ezhilchelvan
     
 

ISBN-10: 1402070438

ISBN-13: 9781402070433

Pub. Date: 05/31/2002

Publisher: Springer US

Describes how concurrency theory and formalisms can be applied in the design, development, and verification of dependable computer systems, and presents new concurrency management schemes in the pursuit of dependability, particularly fault tolerance and timeliness guarantees. The 15 chapters explore the role of modeling for dependable system design, develop

Overview

Describes how concurrency theory and formalisms can be applied in the design, development, and verification of dependable computer systems, and presents new concurrency management schemes in the pursuit of dependability, particularly fault tolerance and timeliness guarantees. The 15 chapters explore the role of modeling for dependable system design, develop distributed protocols for reliable multicast and event ordering, and consider concurrency control in the context of backward error recovery. Topics include component-based modeling for easier verification, QoS analysis of group communication protocols in a wireless environment, deadlock free control in automated guided vehicle systems, and checkpointing in distributed computing systems. No index. Annotation (c)2003 Book News, Inc., Portland, OR

Product Details

ISBN-13:
9781402070433
Publisher:
Springer US
Publication date:
05/31/2002
Edition description:
2002
Pages:
310
Product dimensions:
6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Introduction. Preface. Part I: Role of Modelling and Formalisms for Dependable System Design. 1. Compositional Development in the Event of Interface Difference; J. Burton, et al. 2. Model-Based Design of Dependability; A. Arora, et al. 3. TLA Specification of a Mechanism for Concurrent Exception Handling; A.F. Zorzo, et al. 4. Component Based Dependable System Modelling for Easier Verification; D. Buchs, et al. Part II: Application Specific Modelling for Dependable Design and Analysis. 5. Digging into Concurrency; A. Chandler, et al. 6. Deadlock Free Control in Automated Guided Vehicle Systems; M.P. Fanti. 7. Quality Analysis of Dependable Information Systems; A. Zarras, V Issarny. Part III: Event Ordering and its Application. 8. Fault-Tolerant Sequencer; R. Baldoni, et al. 9. QoS Analysis of Group Communication Prools in Wireless Environment; A. Bondavalli, et al. 10. Semantically Reliable Broadcast; J. Pereira, et al. 11. Exception Handling in Timed Asynchronous Systems; R. Miller, A. Tripathi. Part IV: Transactions and Consistent Checkpointing. 12. A Recovery Model for Cooperative Computations; E. Nett, M. Mock. 13. Group Transactions; M. Patiño-Martínez, et al. 14. Checkpointing in Distributed Computing Systems; L. Kumar, et al. Part V: Concurrency in Real-Time Applications. 15. Concurrency in Time Triggered Message-Triggered Objects with Service Time Guarantees; K.H. (Kane) Kim.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >