175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Concurrency in Dependable Computing

Editors: Ezhilchelvan, Paul, Romanovsky, Alexander (Eds.)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4757-3573-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $189.00
price for USA
  • ISBN 978-1-4020-7043-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $189.00
price for USA
  • ISBN 978-1-4419-5278-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.
Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures.
Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically.
Application of concurrency formalisms for dependability assurance. Fault-tolerant algorithms are harder to verify than their fault-free counterparts due to the fact that the impact of component faults at each state need to be considered in addition to valid state transitions. CSP, Petri nets, CCS are useful tools to specify and verify fault-tolerant designs and protocols.
Concurrency in Dependable Computing explores many significant issues in all three strands. To this end, it is composed as a collection of papers written by authors well-known in their respective areas of research. To ensure quality, the papers are reviewed by a panel of at least three experts in the relevant area.

Table of contents (15 chapters)

  • Compositional Development in the Event of Interface Difference

    Burton, Jonathan (et al.)

    Pages 3-22

  • Model-Based Design of Dependability

    Arora, Anish (et al.)

    Pages 23-40

  • TLA Specification of a Mechanism for Concurrent Exception Handling

    Zorzo, Avelino Francisco (et al.)

    Pages 41-59

  • Component Based Dependable System Modelling for Easier Verification

    Buchs, Didier (et al.)

    Pages 61-83

  • Digging into Concurrency

    Chandler, Angie (et al.)

    Pages 87-104

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4757-3573-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $189.00
price for USA
  • ISBN 978-1-4020-7043-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $189.00
price for USA
  • ISBN 978-1-4419-5278-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Concurrency in Dependable Computing
Editors
  • Paul Ezhilchelvan
  • Alexander Romanovsky
Copyright
2002
Publisher
Springer US
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4757-3573-4
DOI
10.1007/978-1-4757-3573-4
Hardcover ISBN
978-1-4020-7043-3
Softcover ISBN
978-1-4419-5278-3
Edition Number
1
Number of Pages
XVIII, 310
Topics