Contents:
Fundamentals of fault-tolerance: fault, error, failure. Fault-models.
Analysis of dependable architectures: reliability, mean-time-to-failure (MTTF), combinatorial models (reliability block diagrams), fault-trees, state-based models, Markov models. Metrics for dependability, comparison of system architectures.
Testing of hardware and software systems, coverage, software complexity models, software reliability models, reliability-growth models.
Dependable network structures.
Redundancy techniques: N-modular redundancy, replication with voting, hot/cold redundancy.
Error detection and correction codes.
Software dependability, checkpointing, revocery blocks.