Foundations of Dependable Computing Models and Frameworks for Dependable Systems.

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1994.
• Σειρά: The Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, 283
• Θέματα: Computer science.; Microprocessors.; Special purpose computers.; Computer Science.; Special Purpose and Application-Based Systems.; Processor Architectures.; Computer Science, general.

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

Πίνακας περιεχομένων:

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