CS 4434 - Dependable Computing Systems

Effective Start Date: 05/01/2022
Focuses on techniques for designing & analyzing dependable computer-based systems. Topics include basic dependability concepts & attributes, fault models & effects, combinatorial & state-space modeling, hardware redundancy, error detecting & correcting codes, time redundancy, software fault tolerance, checkpointing & recovery, reliable networked systems, error detection techniques, & experimental dependability evaluation techniques. Prereq:CS 3330 or CS 2501 topic “COA 2” or ECE 3430 or ECE 4435 or ECE 3502 topic “ECR II” or CS 3130 and CS 3140; APMA 3100, APMA 3110, MATH 3100, or equivalent. Must complete CS courses with a grade of C- or better.

Requisites: CS 3330 or CS 2501 topic “Computer Organization and Architecture 2” or ECE 3430 or ECE 4435 or ECE 3502 topic “Embedded Computing & Robotics II” or CS 3130 and CS 3140. Must complete CS courses with a grade of C- or better.

Credits: 3