Jan 22, 2020  
Undergraduate Record 2018-2019 
Undergraduate Record 2018-2019 [ARCHIVED RECORD]

CS 4434 - Dependable Computing Systems

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. Prerequisites: APMA 3100 or APMA 3110; CS 3330 or ECE 4435 (co-requisite); ECE 3430 (preferred). A working knowledge of programming is required for homework and mini projects.

Credits: 3