Foundations of dependable computing : paradigms for dependable applications
Author(s)
Bibliographic Information
Foundations of dependable computing : paradigms for dependable applications
(The Kluwer international series in engineering and computer science, 284)
Kluwer Academic, c1994
Available at 10 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems.
The companion volume subtitled Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems.
Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead.
Table of Contents
- Preface. 1: Protocol-Based Paradigms for Distributed Applications. 1.1. Adaptive System-Level Diagnosis in Real-Time
- R.P. Bianchini, Jr., M. Stahl. 1.2. Refinement for Fault-Tolerance: an Aircraft Handoff Protocol
- K. Marzullo, F.B. Schneider, J. Dehn. 1.3. Language Support for Fault-Tolerant Parallel and Distributed Programming
- R.D. Schlichting, D.E. Bakken, V.T. Thomas. 2: Algorithm-Based Paradigms for Parallel Applications. 2.1. Design and Analysis of Algorithm-Based Fault-Tolerant Multiprocessor Systems
- S. Yajnik, N.K. Jha. 2.2. Fault-Tolerance and Efficiency in Massively Parallel Algorithms
- P.C. Kanellakis, A.A. Shvartsman. 3: Domain-Specific Paradigms for Real-Time Systems. 3.1. Use of Imprecise Computation to Enhance Dependability of Real-Time Systems
- J.W.S. Liu, K-J Lin, R. Bettati, D. Hull, A. Yu. 3.2. Analytic Redundancy for Software Fault-Tolerance in Hard Real-Time Systems
- M. Bodson, J.P. Lehoczky, R. Rajkumar, L. Sha, J. Stephan. Index.
by "Nielsen BookData"