(Dependable Systems Design)
- fault, error, failure, fault-tolerant systems, dependability
- reliability, availability, safety, performability, security, confidentiality, maintainability
- dependability parameter examples, applications of dependable systems
- design techniques to achieve fault tolerance, different types of redundancy
- Hardware redundancy: TMR, NMR, etc
- Information redundancy: parity codes, m-of-n codes, etc
- CRC codes, separable and non-separable codes, hardware implementations
- Time redundancy: re-computation, etc.
- Software redundancy: consistency checks, etc
- Dependability evaluation techniques, reliability block diagram, combinational models
- Markov model-based reliability evaluation
- Proving RBD equations with Markov models
- Availability evaluation using Markov models
- Safety and maintainability evaluations using Markov models
- reliability graph and its role in reliability evaluation
- SHARPE or Relex software tool workshop
- Estimation of failure frequency, MIL HDBK 217F
- Redundancy Array of Independent Disks (RAIDS), RAIDS0, RAIDS1, RAIDS2, RAIDS3, RAIDS5
- Checkpointing and rollback recovery in distributed systems