Normal view MARC view ISBD view

Reliable Computer Systems : Design and Evaluatuion (2nd Edition).

By: Siewiorek, Daniel P.
Contributor(s): Swarz, Robert.
Material type: materialTypeLabelBookSeries: eBooks on Demand.Publisher: Saint Louis : Elsevier Science & Technology, 2017Copyright date: ©1992Edition: 2nd ed.Description: 1 online resource (929 pages).Content type: text Media type: computer Carrier type: online resourceISBN: 9781483297439.Subject(s): Electronic digital computers -- Reliability | Fault-tolerant computingGenre/Form: Electronic books.Additional physical formats: Print version:: Reliable Computer Systems : Design and Evaluatuion (2nd Edition)DDC classification: 004 Online resources: Click here to view this ebook.
Contents:
Front Cover -- Reliable Computer Systems: Design and Evaluation -- Copyright Page -- Table of Contents -- Dedication -- Preface -- PART I: THE THEORY OF RELIABLE SYSTEM DESIGN -- CHAPTER 1. FUNDAMENTAL CONCEPTS -- Physical Levels in a Digital System -- Temporal Stages of a Digital System -- Cost of a Digital System -- Summary -- References -- CHAPTER 2 . FAULTS AND THEIR MANIFESTATIONS -- System Errors -- Fault Manifestations -- Fault Distributions -- Distribution Models for Permanent Faults: The MIL-HDBK-217 Model -- Distribution Models for Intermittent and Transient Faults -- Software Fault Models -- Summary -- References -- Problems -- CHAPTER 3. RELIABILITY TECHNIQUES -- System-Failure Response Stages -- Hardware Fault-Avoidance Techniques -- Hardware Fault-Detection Techniques -- Hardware Masking Redundancy Techniques -- Hardware Dynamic Redundancy Techniques -- Software Reliability Techniques -- Summary -- References -- Problems -- CHAPTER 4. MAINTAINABILITY AND TESTING TECHNIQUES -- Specification-Based Diagnosis -- Symptom-Based Diagnosis -- Summary -- References -- Problems -- CHAPTER 5. EVALUATION CRITERIA -- Introduction -- Survey of Evaluation Criteria: Hardware -- Survey of Evaluation Criteria: Software -- Reliability Modeling Techniques: Combinatorial Models -- Examples of Combinatorial Modeling -- Reliability and Availability Modeling Techniques: Markov Models -- Examples of Markov Modeling -- Availability Modeling Techniques -- Software Assistance for Modeling Techniques -- Applications of Modeling Techniques to Systems Designs -- Summary -- References -- Problems -- CHAPTER 6. FINANCIAL CONSIDERATIONS -- Fundamental Concepts -- Cost Models -- Summary -- References -- Problems -- PART II: THE PRACTICE OF RELIABLE SYSTEM DESIGN -- Fundamental Concep -- General-Purpose Computing -- High-Availability Systems -- Long-Life Systems.
Critical Computations -- CHAPTER 7. GENERAL-PURPOSE COMPUTING -- Introduction -- Generic Computer -- DEC -- IBM -- The DEC Case: RAMP in the VAX Family -- The VAX Architecture -- First-Generation VAX Implementations -- Second-Generation VAX Implementations -- References -- The IBM Case Part I: Reliability, Availability, and Serviceability in IBM 308X and IBM 3090 Processor Complexes -- Technology -- Manufacturing -- Overview of the 3090 Processor Complex -- References -- The IBM Case Part II: Recovery Through Programming: MVS Recovery Management -- Introduction -- RAS Objectives -- Overview of Recovery Management -- MVS/XA Hardware Error Recovery -- MVS/XA Serviceability Facilities -- Availability -- Summary -- Bibliography -- Reference -- CHAPTER 8. HIGH-AVAILABILITY SYSTEMS -- Introduction -- AT&T Switching Systems -- Tandem Computers, Inc -- Stratus Computers, Inc -- References -- The AT&T Case Part I: Fault-Tolerant Design of AT&T Telephone Switching System Processors -- Introduction -- Allocation and Causes of System Downtime -- Duplex Architecture -- Fault Simulation Techniques -- First-Generation ESS Processors -- Second-Generation Processors -- Third-Generation 3B20D Processor -- Summary -- References -- The AT&T Case Part II: Large-Scale Real-Time Program Retrofit Methodology in AT&T 5ESS® Switch -- 5ESS Switch Architecture Overview -- Software Replacement -- Summary -- References -- The Tandem Case: Fault Tolerance in Tandem Computer Systems -- Hardware -- Processor Module Implementation Details -- Integrity S2 -- Maintenance Facilities and Practices -- Software -- Operations -- Summary and Conclusions -- References -- The Stratus Case: The Stratus Architecture -- Stratus Solutions to Downtime -- Issues of Fault Tolerance -- System Architecture Overview -- Recovery Scenarios -- Architecture Tradeoffs -- Stratus Software.
Service Strategies -- Summary -- CHAPTER 9. LONG-LIFE SYSTEMS -- Introduction -- Generic Spacecraft -- Deep-Space Planetary Probes -- Other Noteworthy Spacecraft Designs -- References -- The Galileo Case: Galileo Orbiter Fault Protection System -- The Galileo Spacecraft -- Attitude and Articulation Control Subsystem -- Command and Data Subsystem -- AACS/CDS Interactions -- Sequences and Fault Protection -- Fault-Protection Design Problems and Their Resolution -- Summary -- References -- CHAPTER 10. CRITICAL COMPUTATIONS -- Introduction -- C.vmp -- SIFT -- The C.vmp Case: A Voted Multiprocessor -- System Architecture -- Issues of Processor Synchronization -- Performance Measurements -- Operational Experiences -- References -- The SIFT Case: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control -- Motivation and Background -- SIFT Concept of Fault Tolerance -- The SIFT Hardware -- The Software System -- The Proof of Correctness -- Summary -- Appendix: Sample Special Specification -- References -- PART III: A DESIGN METHODOLOGY AND EXAMPLE OF DEPENDABLE SYSTEM DESIGN -- CHAPTER 11. A DESIGN METHODOLOGY -- Introduction -- A Design Methodology for Dependable System Design -- The VAXft 310 Case: A Fault-Tolerant System by Digital Equipment Corporation -- Defining Design Goals and Requirements for the VAXft 310 -- VAXft 310 Overview -- Details of VAXft 310 Operation -- Summary -- APPENDIXES -- APPENDIX A -- Error-Correcting Codes for Semiconductor Memory Applications: A State-of-the-Art Review -- Introduction -- Binary Linear Block Codes -- SEC-DEC Codes -- SEC-DED-SBD Codes -- SBC-DBD Codes -- DEC-TED Codes -- Extended Error Correction -- Conclusions -- References -- APPENDIX B -- Arithmetic Error Codes: Cost and Effectiveness Studies for Application in Digital System Design -- Methodology of Code Evaluation.
Fault Effects in Binary Arithmetic Processors -- Low-Cost Radix-2 Arithmetic Codes -- Multiple Arithmetic Error Codes -- References -- APPENDIX C -- Design for Testability-A Survey -- Introduction -- Design for Testability -- Ad-Hoc Design for Testability -- Structured Design for Testability -- Self-Testing and Built-in Tests -- Conclusion -- References -- APPENDIX D -- Summary of MIL-HDBK-217E Reliability Model -- Failure Rate Model and Factors -- Reference -- APPENDIX E -- Algebraic Solutions to Markov Models -- Solution of MTTF Models -- Complete Solution for Three- and Four-State Models -- Solutions to Commonly Encountered Markov Models -- References -- GLOSSARY -- REFERENCES -- CREDITS -- TRADEMARKS -- INDEX.
Summary: Enhance your hardware/software reliability Enhancement of system reliability has been a major concern of computer users and designers ¦ and this major revision of the 1982 classic meets users' continuing need for practical information on this pressing topic. Included are case studies of reliable systems from manufacturers such as Tandem, Stratus, IBM, and Digital, as well as coverage of special systems such as the Galileo Orbiter fault protection system and AT&T telephone switching processors.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
Online
QA76.5 -- .S537 1992 (Browse shelf) https://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1877159 Available EBC1877159

Front Cover -- Reliable Computer Systems: Design and Evaluation -- Copyright Page -- Table of Contents -- Dedication -- Preface -- PART I: THE THEORY OF RELIABLE SYSTEM DESIGN -- CHAPTER 1. FUNDAMENTAL CONCEPTS -- Physical Levels in a Digital System -- Temporal Stages of a Digital System -- Cost of a Digital System -- Summary -- References -- CHAPTER 2 . FAULTS AND THEIR MANIFESTATIONS -- System Errors -- Fault Manifestations -- Fault Distributions -- Distribution Models for Permanent Faults: The MIL-HDBK-217 Model -- Distribution Models for Intermittent and Transient Faults -- Software Fault Models -- Summary -- References -- Problems -- CHAPTER 3. RELIABILITY TECHNIQUES -- System-Failure Response Stages -- Hardware Fault-Avoidance Techniques -- Hardware Fault-Detection Techniques -- Hardware Masking Redundancy Techniques -- Hardware Dynamic Redundancy Techniques -- Software Reliability Techniques -- Summary -- References -- Problems -- CHAPTER 4. MAINTAINABILITY AND TESTING TECHNIQUES -- Specification-Based Diagnosis -- Symptom-Based Diagnosis -- Summary -- References -- Problems -- CHAPTER 5. EVALUATION CRITERIA -- Introduction -- Survey of Evaluation Criteria: Hardware -- Survey of Evaluation Criteria: Software -- Reliability Modeling Techniques: Combinatorial Models -- Examples of Combinatorial Modeling -- Reliability and Availability Modeling Techniques: Markov Models -- Examples of Markov Modeling -- Availability Modeling Techniques -- Software Assistance for Modeling Techniques -- Applications of Modeling Techniques to Systems Designs -- Summary -- References -- Problems -- CHAPTER 6. FINANCIAL CONSIDERATIONS -- Fundamental Concepts -- Cost Models -- Summary -- References -- Problems -- PART II: THE PRACTICE OF RELIABLE SYSTEM DESIGN -- Fundamental Concep -- General-Purpose Computing -- High-Availability Systems -- Long-Life Systems.

Critical Computations -- CHAPTER 7. GENERAL-PURPOSE COMPUTING -- Introduction -- Generic Computer -- DEC -- IBM -- The DEC Case: RAMP in the VAX Family -- The VAX Architecture -- First-Generation VAX Implementations -- Second-Generation VAX Implementations -- References -- The IBM Case Part I: Reliability, Availability, and Serviceability in IBM 308X and IBM 3090 Processor Complexes -- Technology -- Manufacturing -- Overview of the 3090 Processor Complex -- References -- The IBM Case Part II: Recovery Through Programming: MVS Recovery Management -- Introduction -- RAS Objectives -- Overview of Recovery Management -- MVS/XA Hardware Error Recovery -- MVS/XA Serviceability Facilities -- Availability -- Summary -- Bibliography -- Reference -- CHAPTER 8. HIGH-AVAILABILITY SYSTEMS -- Introduction -- AT&T Switching Systems -- Tandem Computers, Inc -- Stratus Computers, Inc -- References -- The AT&T Case Part I: Fault-Tolerant Design of AT&T Telephone Switching System Processors -- Introduction -- Allocation and Causes of System Downtime -- Duplex Architecture -- Fault Simulation Techniques -- First-Generation ESS Processors -- Second-Generation Processors -- Third-Generation 3B20D Processor -- Summary -- References -- The AT&T Case Part II: Large-Scale Real-Time Program Retrofit Methodology in AT&T 5ESS® Switch -- 5ESS Switch Architecture Overview -- Software Replacement -- Summary -- References -- The Tandem Case: Fault Tolerance in Tandem Computer Systems -- Hardware -- Processor Module Implementation Details -- Integrity S2 -- Maintenance Facilities and Practices -- Software -- Operations -- Summary and Conclusions -- References -- The Stratus Case: The Stratus Architecture -- Stratus Solutions to Downtime -- Issues of Fault Tolerance -- System Architecture Overview -- Recovery Scenarios -- Architecture Tradeoffs -- Stratus Software.

Service Strategies -- Summary -- CHAPTER 9. LONG-LIFE SYSTEMS -- Introduction -- Generic Spacecraft -- Deep-Space Planetary Probes -- Other Noteworthy Spacecraft Designs -- References -- The Galileo Case: Galileo Orbiter Fault Protection System -- The Galileo Spacecraft -- Attitude and Articulation Control Subsystem -- Command and Data Subsystem -- AACS/CDS Interactions -- Sequences and Fault Protection -- Fault-Protection Design Problems and Their Resolution -- Summary -- References -- CHAPTER 10. CRITICAL COMPUTATIONS -- Introduction -- C.vmp -- SIFT -- The C.vmp Case: A Voted Multiprocessor -- System Architecture -- Issues of Processor Synchronization -- Performance Measurements -- Operational Experiences -- References -- The SIFT Case: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control -- Motivation and Background -- SIFT Concept of Fault Tolerance -- The SIFT Hardware -- The Software System -- The Proof of Correctness -- Summary -- Appendix: Sample Special Specification -- References -- PART III: A DESIGN METHODOLOGY AND EXAMPLE OF DEPENDABLE SYSTEM DESIGN -- CHAPTER 11. A DESIGN METHODOLOGY -- Introduction -- A Design Methodology for Dependable System Design -- The VAXft 310 Case: A Fault-Tolerant System by Digital Equipment Corporation -- Defining Design Goals and Requirements for the VAXft 310 -- VAXft 310 Overview -- Details of VAXft 310 Operation -- Summary -- APPENDIXES -- APPENDIX A -- Error-Correcting Codes for Semiconductor Memory Applications: A State-of-the-Art Review -- Introduction -- Binary Linear Block Codes -- SEC-DEC Codes -- SEC-DED-SBD Codes -- SBC-DBD Codes -- DEC-TED Codes -- Extended Error Correction -- Conclusions -- References -- APPENDIX B -- Arithmetic Error Codes: Cost and Effectiveness Studies for Application in Digital System Design -- Methodology of Code Evaluation.

Fault Effects in Binary Arithmetic Processors -- Low-Cost Radix-2 Arithmetic Codes -- Multiple Arithmetic Error Codes -- References -- APPENDIX C -- Design for Testability-A Survey -- Introduction -- Design for Testability -- Ad-Hoc Design for Testability -- Structured Design for Testability -- Self-Testing and Built-in Tests -- Conclusion -- References -- APPENDIX D -- Summary of MIL-HDBK-217E Reliability Model -- Failure Rate Model and Factors -- Reference -- APPENDIX E -- Algebraic Solutions to Markov Models -- Solution of MTTF Models -- Complete Solution for Three- and Four-State Models -- Solutions to Commonly Encountered Markov Models -- References -- GLOSSARY -- REFERENCES -- CREDITS -- TRADEMARKS -- INDEX.

Enhance your hardware/software reliability Enhancement of system reliability has been a major concern of computer users and designers ¦ and this major revision of the 1982 classic meets users' continuing need for practical information on this pressing topic. Included are case studies of reliable systems from manufacturers such as Tandem, Stratus, IBM, and Digital, as well as coverage of special systems such as the Galileo Orbiter fault protection system and AT&T telephone switching processors.

Description based on publisher supplied metadata and other sources.

There are no comments for this item.

Log in to your account to post a comment.