1. CSE 322: Software Reliability Engineering Topics covered: Software reliability models with explicit fault removal

2. Background: HPP vs. NHPP

3. State space view: HPP

4. State space view: NHPP

5. NHCTMC: Mean value function

6. NHCTMC solution: Piecewise linearization

7. Fault repair policies

8. NHCTMC model: Constant repair rate

9. NHCTMC model: Fault dependent repair rate

10. NHCTMC model: Metrics of interest

11. NHCTMC models with repair: Solution

12. Imperfect repair

13. NHCTMC model with imperfect repair

14. NHCTMC model with imperfect repair: Metrics