Finally, a book addressing the new reality of dependability! 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. The audience is expected to have a basic understanding of statistical concepts, computer organization, and systems. With the support of practical case studies and use cases from both academia and real-world deployments, we guide our audience through 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 and solutions, as well as slides for instructors, that span the chapters of the book.

Auteur

Ravishankar K. Iyer is a Professor of Engineering and Interim Vice Chancellor for Research at the University of Illinois at Urbana-Champaign. He holds appointments in the Department of Electrical and Computer Engineering and the Department of Computer Science and he is Co-Director of the Center for Reliable and High-Performance Computing at the Coordinated Science Laboratory (CSL) and Chief Scientist at the Information Trust Institute. Professor Iyer is a Fellow of the AAAS, the IEEE and the ACM. Zbigniew T. Kalbarczyk is a Research Professor at CSL at the University of Illinois at Urbana-Champaign. His major research areas are the design and validation of reliable and secure computing systems, and the development of methods and tools for designing and experimental assessment of reliable and secure systems. Professor Kalbarczyk is a member of the IEEE and the Computer Society. Nithin M. Nakka earned his MS and PhD in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign. He is a Software Engineer at Nextest Systems in San Jose, CA. Dr. Nakka was a research assistant professor at the Center for Ultrascale Computing and Information Security at Northwestern University.

Texte du rabat

The only recent book on dependability/fault-tolerance that covers both software and hardware aspects of dependability, Dependable Computing Design and Assessment addresses the new reality of dependability. After a discussion of reliability, availability, and hardware and software fault models, the authors explore hardware redundancy, coding techniques, processor-level error detection and recovery, checkpoint and recovery, software fault tolerance techniques, and network-specific issues. Ideal for both students and practitioners, the capabilities and applicability of all techniques are illustrated with examples of actual applications and systems.

Contenu
Preface acknowledgements Chapter 01 Classical Dependability Techniques & Modern Computing Systemsx.docx Chapter 02 Hardware Error Detection through Hardware Implemented Techniquesx.docx Chapter 03 Processor-Level Error Detection and Recoveryx.docx Chapter 04 Hardware Error Detection through Software Implemented Techniquesx.docx Chapter 05 Software error detection and recovery through software analysis.docx Chapter 06 Measurement-based Analysis of System Software Operating System Failure Behavior Overviewx.docx Chapter 07 Reliable Networked and Distributed Systemsx.docx Chapter 08 Checkpointing and Rollback Error Recoveryx.docx Chapter 09 Dependability in Large-Scale Systemsx.docx Chapter 10 Measurement-based Analysis of Large Scale Clustersx.docx Chapter 11 Internals of Fault Injection Techniquesx.docx Chapter 12 Safeguarding Current Technologiesx.docx Index