This course studies concepts and techniques for the design of fault-tolerant computer systems used in safety-critical applications at graduate level. It provides analysis and evaluation methods to perform qualitative and quantitative analysis of safety-critical systems. The course studies different hardware and software configurations to ensure different levels of safety, reliability and availability of fault tolerant systems. It studies concepts on hazard identification, mishap mitigation, unreliability, unavailability; reparability, risk analysis, redundancy, fail-safe systems, and fail-operate computer systems with emphasis in practical applications. |