Dependable Computing

Ravishankar K. Iyer , Zbigniew T. Kalbarczyk , Nithin M. Nakka 지음

Wiley-IEEE Press 2024년 04월 16일 출간

작품소개

책소개

Dependable Computing Covering dependability from software and hardware perspectives Dependable Computing: Design and Assessment looks at both the software and hardware aspects of dependability. This book: Provides an in-depth examination of dependability/fault tolerance topics Describes dependability taxonomy, and briefly contrasts classical techniques with their modern counterparts or extensions Walks up the system stack from the hardware logic via operating systems up to software applications with respect to how they are hardened for dependability Describes the use of measurement-based analysis of computing systems Illustrates technology through real-life applications Discusses security attacks and unique dependability requirements for emerging applications, e.g., smart electric power grids and cloud computing Finally, using critical societal applications such as autonomous vehicles, large-scale clouds, and engineering solutions for healthcare, the book illustrates the emerging challenges faced in making artificial intelligence (AI) and its applications dependable and trustworthy. This book is suitable for those studying in the fields of computer engineering and computer science. Professionals who are working within the new reality to ensure dependable computing will find helpful information to support their efforts. With the support of practical case studies and use cases from both academia and real-world deployments, the book provides a journey of developments that include the impact of artificial intelligence and machine learning on this ever-growing field. This book offers a single compendium that spans the myriad areas in which dependability has been applied, providing theoretical concepts and applied knowledge with content that will excite a beginner, and rigor that will satisfy an expert. Accompanying the book is an online repository of problem sets

목차

About the Authors xxiii Preface xxv Acknowledgments xxvii About the Companion Website xxix 1 Dependability Concepts and Taxonomy 1 1.1 Introduction 1 1.2 Placing Classical Dependability Techniques in Perspective 2 1.3 Taxonomy of Dependable Computing 4 1.3.1 Faults, Errors, and Failures 5 1.4 Fault Classes 6 1.5 The Fault Cycle and Dependability Measures 6 1.6 Fault and Error Classification 7 1.7 Mean Time Between Failures 11 1.8 User- perceived System Dependability 13 1.9 Technology Trends and Failure Behavior 14 1.10 Issues at the Hardware Level 15 1.11 Issues at the Platform Level 17 1.12 What is Unique About this Book? 18 1.13 Overview of the Book 19 References 20 2 Classical Dependability Techniques and Modern Computing Systems: Where and How Do They Meet? 25 2.1 Illustrative Case Studies of Design for Dependability 25 2.2 Cloud Computing: A Rapidly Expanding Computing Paradigm 31 2.3 New Application Domains 37 2.4 Insights 52 References 52 3 Hardware Error Detection and Recovery Through Hardware- Implemented Techniques 57 3.1 Introduction 57 3.2 Redundancy Techniques 58 3.3 Watchdog Timers 67 3.4 Information Redundancy 69 3.5 Capability and Consistency Checking 93 3.6 Insights 93 References 96 4 Processor Level Error Detection and Recovery 101 4.1 Introduction 101 4.2 Logic- level Techniques 104 4.3 Error Protection in the Processors 115 4.4 Academic Research on Hardware- level Error Protection 122 4.5 Insights 134 References 137 5 Hardware Error Detection Through Software- Implemented Techniques 141 5.1 Introduction 141 5.2 Duplication- based Software Detection Techniques 142 5.3 Control- Flow Checking 146 5.4 He

출판사 서평

작가정보

저자(글) Ravishankar K. Iyer

저자(글) Zbigniew T. Kalbarczyk

저자(글) Nithin M. Nakka