Foundations of Dependable Computing Paradigms for Dependable Applications /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koob, Gary M. (Editor), Lau, Clifford G. (Editor)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1994.
• Series: The Springer International Series in Engineering and Computer Science, 284
• Subjects: Computer science.; Microprocessors.; Special purpose computers.; Computer Science.; Special Purpose and Application-Based Systems.; Processor Architectures.; Computer Science, general.
• Online Access: View fulltext via EzAccess

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 abstraction...

Table of Contents:

• Protocol-Based Paradigms for Distributed Applications
• Adaptive System-Level Diagnosis in Real-Time
• Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol
• Language Support for Fault-Tolerant Parallel and Distributed Programming
• Algorithm-Based Paradigms for Parallel Applications
• Design and Analysis of Algorithm-Based Fault Tolerant Multiprocessor Systems
• Fault-Tolerance and Efficiency in Massively Parallel Algorithms
• Domain-Specific Paradigms for Real-Time Systems
• Use of Imprecise Computation to Enhance Dependability of Real-Time Systems
• Analytic Redundancy for Software Fault-Tolerance In Hard Real-Time Systems.