Concurrency in Dependable Computing

Name: Concurrency in Dependable Computing
Price: 130.28 USD
Availability: InStock
ISBN: 9781402070433

ISBN-10: 1402070438

ISBN-13: 9781402070433

Edition: 2002

Authors: Paul Ezhilchelvan, Alexander Romanovsky

List price: $194.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $130.28

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Failures of system components, be software modules or hardware units, can be seen as undesirable events occurring concurrently with a set of normal system events. This text looks at concurrency related issues in the area of dependable computing.

Book details

List price: $194.00
Copyright year: 2002
Publisher: Springer
Publication date: 5/31/2002
Binding: Hardcover
Pages: 310
Size: 6.50" wide x 9.50" long x 0.75" tall
Weight: 1.584
Language: English



Foreword


Preface



Role of Modelling and Formalisms for Dependable System Design



Compositional Development in the Event of Interface Difference




Model-Based Design of Dependability




TLA Specification of a Mechanism for Concurrent Exception Handling




Component Based Dependable System Modelling for Easier Verification




Application Specific Modelling for Dependable Design and Analysis



Digging into Concurrency




Deadlock Free Control in Automated Guided Vehicle Systems




Quality Analysis of Dependable Information Systems




Event Ordering and its Application



Fault-Tolerant Sequencer




QoS Analysis of Group Communication Protocols in Wireless Environment




Semantically Reliable Broadcast




Exception Handling in Timed Asynchronous Systems




Transactions and Consistent Checkpointing



A Recovery Model for Cooperative Computations




Group Transactions




Checkpointing in Distributed Computing Systems




Concurrency in Real-Time Applications



Concurrency in Dependable Real-Time Objects