Dependable Computing for Critical Applications

Front Cover
Algirdas Avižienis, Jean-Claude Laprie
Springer-Verlag, Jan 1, 1991 - Fault-tolerant computing - 429 pages
The proceedings of the IFIP Working Conference on Dependable Computing for Critical Applications contain an excellent review of the state of the art and novel developments in this important field. The twenty carefully selected papers have been extensively discussed by about one hundred international experts at the three day working conference in Santa Baraba, California. The varied backgrounds of the participants from academia, industry and research institutions from 13 countries and the unusual mix of conceptual and experimental presentations, gave rise to interesting and thought provoking discussions with the authors. Based on these discussions, the papers have been enhanced and revised and now appear in this unique hardbound volume, covering the following topics: Architectural Issues in Dependable Distributed Systems, Modelling and Validation, Assessment of Design Diversity, Design for Security and Fault Tolerance, Experimental Evaluation of Fault-Tolerance, Dependability of Railway Signaling Systems, Digital Computers Abord Airplanes, and many more. This book should be of interest to anyone who is involved in the design, development or maintenance of sophisticated computer systems for applications, where dependability concerns, such as reliability, safety, or security, are of major significance.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Dependable Computing in the
3
a Source of Failure Dependency
53
Recovery Block Reliability Analysis with
75
Copyright

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information