Foundations of Dependable Computing Models and Frameworks for Dependable Systems.

• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1994.
• Series: The Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, 283
• 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: 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 volum...

Table of Contents:

• Frameworks for Dependable Systems
• A Consensus-Based Framework and Model for the Design of Responsive Computing Systems
• A Methodology for Adapting to Patterns of Faults
• Requirements Models
• Military Fault Tolerant Requirements
• Derivation and Use of Deadline Information in Real-Time Control Systems
• System Validation
• Software-Implemented Fault Injection of Transient Hardware Errors
• REACT: An Integrated Tool for the Design of Dependable Computing Systems
• System Evaluation
• Measurement-Based Dependability Evaluation of Operational Computer Systems
• Modeling and Evaluation of Opto-Electronic Computing Systems.