CS 4434 - Dependable Computing Systems

Effective Start Date: 08/01/2021
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 3430 or ECE 4435 or ECE 3502 topic “Embedded Computing & Robotics II” or CS 2501 topic COA2 (co-requisite).

Requisites: Must have taken CS 3330 or ECE 3430 or ECE 4435 or ECE 3502 topic “Embedded Computing & Robotics II” or must have taken or are currently taking CS 2501 topic COA2

Credits: 3