Dependable Computing Systems

Host University

University of Virginia


Fall 2023

Course Number

ECE 6434-600


Electrical & Computer Engineering


Homa Alemzadeh

Course Information

Focuses on techniques for designing and analyzing dependable computer-based systems. Topics include basic dependability concepts and attributes, fault models and effects, combinatorial and state-space modeling, hardware redundancy, error detecting and correcting codes, time redundancy, software fault tolerance, checkpointing and recovery, reliable networked systems, error detection techniques, and experimental dependability evaluation techniques.