Instructor: Dr. Ali Ebnenasir
Office: 206 Rekhi Hall
Phone: 487-4372

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

Web page:

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:


Term Project                            40%

Reading assignments               40%

Homework                              20%