- Academic Programs
- Our Department
- Student Life
- Alumni & Industry
Design and analysis of high-availability and life-critical embedded and commercial systems.
This course focuses on the design of fault-tolerant and reliable computer systems. In particular, we will attempt to understand the root causes of faults in computer systems and their impact. We will study both traditional and cutting-edge techniques to provide fault-tolerance and error resilience. Finally, we will explore the practical applications of the techniques in the context of real systems deployed in mission-critical settings.
An important thread that runs through the course is the rigorous evaluation of dependability techniques. To this end, we will study methods ranging from analytical modeling to empirical validation. The assignments will give you hands-on exposure to cutting edge tools and techniques for dependability evaluation, and will prepare you for the final project (of your choice), which constitutes a significant part of the grade.
At the end of the course, you should be able to: