Dependable Computing for Critical Applications

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.