Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different types. Some Markov models are extended to the analysis of some specific computing systems such as combined software and hardware, imperfect debugging processes, failure correlation, multi-state systems, heterogeneous subsystems, etc. One of the aims of the presentation is that based on the sound analysis and simplicity of the approaches, the use of Markov models can be better implemented in the computing system reliability
CONTENT
Basic Reliability Concepts and Analysis -- Models for Hardware System Reliability -- Models for Software Reliability -- Models for Integrated Systems -- Availability and Reliability of Distributed Computing Systems -- Reliability of Grid Computing Systems -- Multi-state System Reliability -- Optimal System Design and Resource Allocation
Mathematics
Computer science
Microprocessors
Software engineering
Mathematical models
Mathematical logic
Mathematics
Mathematical Modeling and Industrial Mathematics
Computer Science general
Processor Architectures
Mathematical Logic and Foundations
Software Engineering/Programming and Operating Systems
