Dependable Computing for Critical Applications
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Dependable Computing in the
a Source of Failure Dependency
Recovery Block Reliability Analysis with
16 other sections not shown
Other editions - View all
aircraft algorithm analysis application approach Avizienis BPUs capability circuit clock cycle computer virus computing systems correct covert channel d-tag values data objects defined Dependable Computing dependency factor deterministic test Distributed Computing diversity encrypted error detection error masking evaluation event example execution fail-safe fail-safe computer failure fault injection Fault-Tolerant Computing Fault-Tolerant Systems Figure flight control fragmentation function Futurebus hardware IEEE IEEE Trans implementation input data instruction hashing intermediate signature internal justifying signature latch latch-errors logic Markov Markov chain mechanisms metastable methods microprocessor module monitoring MUSES-A node occur operation output performance pin-errors probability problem Proc processor propagation proposed quiesce random real-time recovery block redundancy reliability resource restart result revocation reward structure safety server signal Single Event Upsets Software Engineering specification statistical testing synchronization TDMA techniques tolerance transient fault validation variable vector versions voting