Dependable Computing Systems

Host University

University of Virginia

Semester

Fall 2023

Course Number

ECE 6434-600

Discipline

Electrical & Computer Engineering

Instructor

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.