Course Notes

Schedule

Date	Topics
Jan 5th	Class overview, intro Motivation: why dependable computing
Jan 7th	Basic Concepts, Taxonomy
Jan 12th	Software  Failures and Defending mechanisms
Jan 14th	Error coding and detection
Jan 19th	Human Errors
Jan 21st	Fault injection techniques and tools   .
	Why Do Computers Stop And What Can Be Done About It?
Jan 28th	SIFT: Design and analysis of a fault-tolerant computer for aircraft control
Feb 2nd	A Survey of Rollback-Recovery Protocols in Message-Passing Systems
Feb 4th	Implementing fault-tolerant services using the state machine approach: a tutorial
Feb 9th	Practical byzantine fault tolerance
Feb 11th	Project proposal
Feb 16th	High-availability computer systems
Feb 18th	Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies
Feb 23rd	Enhancing Server Availability and Security Through Failure-Oblivious Computing
Feb 25th	Paxos Made Moderately Complex
March 2nd	Systems approaches to tackling configuration errors: A survey