Instructor: Dr. Ali Ebnenasir
Office: 206 Rekhi Hall
Textbook: No textbook! Please see the “Readings” link in the menu bar for some helpful references.
Meeting time: Tuesday-Thursday 4:35-5:50
Meeting room: 316 Rekhi Hall
Office Hours: by appointment
Prerequisites: CS 4321 and CS 3311
Formal techniques for modeling faults and fault tolerance in software systems, software fault tolerance techniques, fault-tolerant distributed algorithms, program analysis techniques/tools, automatic design of fault tolerance in parallel/distributed programs and model-driven development of software fault tolerance.
Academic Integrity Policy: Please read MTU’s general policy on Academic Integrity and sanctions considered for Academic Dishonesty. Here is the URL: http://www.studentaffairs.mtu.edu/dean/judicial/policies/academic_integrity.html
Term Project 40%
Reading assignments 40%