|
Title
|
Start
Date
|
Document
|
Notes
|
Video
|
Reference
Material
|
|
Course Information
|
Jan 09
|
Web: Course Info
PDF: Course Info
Web: Outline
PDF: Outline
Web: FAQ
Flyer
|
|
|
|
|
Introduction to the class participants and Course syllabus
|
Jan 13
|
Slides
|
|
Record
|
|
|
Application domains that need dependability � ALA #1 Some costly
dependability outages; Metrics and means � ALA #2 (relation between fault,
error, failure)
|
Jan 13
|
Slides
|
|
Record
|
Bug detection ALA #1 [ pdf
] # 2 [ Slides ]
Excerpt from book "Principles of Computer System Design" by Saltzer and Kaashoek, Chapter 8
"Fault Tolerance: Reliable Systems from Unreliable Components" [ pdf
]
|
|
Redundancy
|
Jan 18
|
Slides
|
Redundancy Notes Jan 17, 2024
Redundancy Notes Jan 19, 2024
|
Record
I
Record
II
|
|
|
Coding for reliability
|
Jan 22
|
|
Coding Notes Jan 22, 2024
|
Record
|
|
|
Calculation of metrics Continuous Distribution
|
Jan 22
|
Slides - Part I
Slides - Part II
|
Continuous distributions Notes Jan 24, 2024
Continuous distributions Notes Jan 26, 2024
Continuous distributions Notes Jan 29, 2024
Notes Jan 29, 2024
|
Record
I
Record
II
Cont.
R.V.
Exponential
Distribution
Other
Distributions
Weibull
and Normal distributions
|
Excerpt from book by Iyer, Kalbarczyk,
Nakka [pdf]
Problem
Sheet
Summary Sheet
|
|
Software Fault Tolerance
|
Feb 1
|
Slides
|
Software Fault Tolerance Notes Jan 31, 2024
Software Fault Tolerance Notes Feb 2, 2024
Software Fault Tolerance Notes Feb 5, 2024
Software Fault Tolerance Notes Feb 7, 2024
Notes Feb 7, 2024
Software Fault Tolerance Notes Feb 12, 2024
|
Testing
approaches Multi-version software: Recovery block
Multi-version
software: N-version programming, N self checking
programming
Quantitative
analysis of multi-version programming
Quantitative
analysis of multi-version programming (Part II) and Robust data structures
(Part I)
Robust
data structures (Part II)
|
ALA:
Multi-version software: N-version programming, N self
checking programming
Fault-tolerant B+ tree presentation |
|
Distributed primitives
|
Feb 12 - 27
|
Slides
|
Distributed Protocol Primitives Notes Feb 12, 2024
Distributed Protocol Primitives Notes Feb 19, 2024
Agreement Notes Feb 21, 2024
Agreement Notes Feb 23, 2024
Notes Feb 23, 2024
Commit Protocol Notes Part 1 Feb 26, 2024
Commit Protocol Notes Part 2 Mar 1, 2024
|
Distributed
protocol primitives Part 1
Distributed
protocol primitives Part 2
Distributed
protocol primitives Part 3
Distributed
protocol primitives Part 4
Distributed
protocol primitives Part 5
Distributed
protocol primitives Part 6
Distributed
protocol primitives Part 7
|
Chapter 8 - Agreement Protocol - Singhal [Mar 4, 2024]
Chapter 4 - Broadcast Protocol - Jalote [Mar 4, 2024]
Chapter 13 - commit Protocol - Singhal and Shivaratri [Mar 4, 2024]
|
|
Modeling & Simulation
|
Mar 4-6
|
Slides
|
Modeling Simulation Mar 4, 2024
Modeling Mar 8, 2024
Modeling Simulation Mar 18, 2024
Notes Mar 18, 2024
|
Modeling
Part 1
Modeling
Part 2
|
|
|
Secure Coding and Replication
|
Mar 22
|
Secure
Coding
|
Replication Mar 25, 2024
Notes Mar 25, 2024
Replication Apr 1, 2024
Replication Apr 3, 2024
Optimal Replication Apr 12, 2024
|
Secure
coding and Replication
Replication Apr 12, 2024
|
|
|
Replication
|
Mar 27
|
Replication
|
|
Replication
Part 2
|
Pankaj Jalote book Chapter 7 "Data replication and
resiliency" [ pdf
]
|
|
Mar
29
|
-
|
|
Replication
Part 3
|
|
|
Recovery
|
Apr 3
|
Recovery
|
Recovery Apr 12, 2024
Recovery Apr 17, 2024
|
Recovery
Part 1
|
|
|
Apr
5
|
-
|
|
Recovery
Part 2
|
|
|
Apr
10
|
-
|
|
Recovery
Part 3
|
|
|
ML Security
|
Apr 19
|
Slides
|
ML Security Apr 19, 2024
Notes Apr 19, 2024
Big Data Security Apr 22, 2024
Big Data Security Notes Apr 24, 2024
|
Big
Data Security
Software
Evaluation Assignment
|
|
|
Validation
|
Apr 17
|
Validation
Slides
|
|
Validation
Part 1
|
|
|
Apr
24
|
-
|
|
Validation
Part 2
|
|
|
Apr
26
|
-
|
|
Validation
Part 3
|
|
|
Wrap Up
|
Apr 28
|
Wrap
Up Slides
|
|
Wrap
Up Lecture
|
Spring 2024 Midterm solutions
|
