Instructor: Dr. Ali Ebnenasir
Office: 206 Rekhi Hall
Phone: 487-4372
E-mail: aebnenas@mtu.edu

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: http://www.cs.mtu.edu/~aebnenas/teaching/spring2008/cs5090/index.htm

Description:
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

Grading:

Term Project 40%

Reading assignments 40%

Homework 20%