| Dependability Theory | 01:06:35 | |
|---|---|---|
| Dependability - an umbrella term | 00:15:40 | |
| Dependability Means | 00:15:07 | |
| Fault Removal | 00:15:15 | |
| Fault Prevention | 00:20:33 |
| Fault Tolerance in Distributed Systems | 01:21:08 | |
|---|---|---|
| Reliability Computation - Example | 00:03:14 | |
| Distributed Systems - Motivation | 00:15:08 | |
| Timing Model | 00:22:34 | |
| Fault Model | 00:17:23 | |
| Consensus | 00:22:49 |
| Fault Tolerance Patterns | 01:22:09 | |
|---|---|---|
| Recap | 00:03:50 | |
| Architectural Patterns | 00:15:09 | |
| Detection Patterns | 00:15:23 | |
| Error Recovery Patterns | 00:16:00 | |
| Error Mitigation Patterns | 00:10:28 | |
| Fault Treatment Patterns | 00:08:09 | |
| Software Dependability Approaches | 00:13:10 |
| Fault Tolerance Patterns (2) | 00:31:14 | |
|---|---|---|
| Recap | 00:14:57 | |
| Software Dependability Approaches | 00:16:17 |
| Fault Tolerance in Distributed Systems (2) | 00:52:45 | |
|---|---|---|
| Recap | 00:16:00 | |
| Consistency | 00:25:03 | |
| Trade-Offs in Distributed Systems | 00:11:42 |
| Fault Tolerance in Distributed Systems (3) | 00:45:46 | |
|---|---|---|
| Recap | 00:13:10 | |
| Replication | 00:15:09 | |
| Applications | 00:07:48 | |
| Distributed Storage | 00:09:39 |
| Testing & Debugging | 00:37:53 | |
|---|---|---|
| Recap | 00:03:26 | |
| A Brief History of Debugging | 00:11:06 | |
| Fault Removal Through Software Testing | 00:23:21 |
| Testing & Debugging (2) | 00:12:14 | |
|---|---|---|
| Recap | 00:02:44 | |
| Object Equivalence | 00:09:30 |
| Formal Methods | 01:01:45 | |
|---|---|---|
| Verification Techniques | 00:20:26 | |
| Model Checking | 00:14:53 | |
| Synthesis | 00:04:59 | |
| Theorem Proving | 00:05:36 | |
| Symbolic Execution | 00:07:47 | |
| Static Analysis | 00:08:04 |
| Hardware Fault Tolerance & Fault Injection | 01:16:27 | |
|---|---|---|
| Low Level Redundancy | 00:20:48 | |
| RAID | 00:15:41 | |
| Fault Injection | 00:17:53 | |
| Fault Injectors | 00:22:05 |
| Dependability Modelling | 01:08:15 | |
|---|---|---|
| Recap | 00:17:00 | |
| Structural Modelling | 00:19:55 | |
| State-based Modelling | 00:17:31 | |
| Petri Nets | 00:13:49 |
| Site Reliability Engineering | 00:51:14 | |
|---|---|---|
| Was ist Site Reliability Engineering? | 00:08:45 | |
| Principles | 00:17:51 | |
| Practices | 00:22:53 | |
| Conclusions | 00:01:45 |
| Humans and Other Miscellaneous Challenges to Software Dependability | 00:33:41 | |
|---|---|---|
| Recap | 00:01:59 | |
| Human Error Models | 00:19:28 | |
| Software Evolution | 00:12:14 |
