Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 chapters)
-
Role of Modelling and Formalisms for Dependable System Design
-
Application Specific Modelling for Dependable Design and Analysis
-
Event Ordering and Its Application
-
Transactions and Consistent Checkpointing
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Concurrency in Dependable Computing
Editors: Paul Ezhilchelvan, Alexander Romanovsky
DOI: https://doi.org/10.1007/978-1-4757-3573-4
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2002
Hardcover ISBN: 978-1-4020-7043-3Published: 31 May 2002
Softcover ISBN: 978-1-4419-5278-3Published: 29 October 2010
eBook ISBN: 978-1-4757-3573-4Published: 14 March 2013
Edition Number: 1
Number of Pages: XVIII, 310
Topics: Data Structures and Information Theory, Artificial Intelligence, Natural Language Processing (NLP), Processor Architectures
Industry Sectors: Electronics, IT & Software, Telecommunications