The process of building high assurance systems and techniques for fault detection and recovery. System reliability will be discussed at the hardware, middleware, and application level. Liberal arts Prerequisite(s): CSC 223, CSC 336. Semester(s) Offered: Varies