Wyniki wyszukiwania:

This book contains the papers presented and discussed at the 3rd IFIP Working Conference on Dependable Computing for Critical Applications. Based on feedback at that meeting, these papers were then revised and updated prior to inclusion in this volume. The topics addressed span the spectrum of dependable computing, from design methods for distributed, fault-tolerant systems to formal and experimental validation techniques. The unique focus of this forum on critical applications is what distinguishes many of these papers from those found elsewhere. This book is of interest to individuals...

This book provides an overview of the work of two successive ESPRIT Basic Research Projects on Predictably Dependable Computing Systems (PDCS), as well as their major achievements. The purpose of the projects has been "to contribute to making the process of designing and constructing dependable computing systems much more predictable and cost-effective." The book contains a carefully edited selection of papers on all four main topics in PDCS: fault prevention, fault tolerance, fault removal, and fault forecasting. Problems of real-time and distributed systems, system structuring, qualitative...