CSE 322: Software Reliability Engineering Topics covered: Software reliability models with explicit fault removal
Background: HPP vs. NHPP
State space view: HPP
State space view: NHPP
NHCTMC: Mean value function
NHCTMC solution: Piecewise linearization
Fault repair policies
NHCTMC model: Constant repair rate
NHCTMC model: Fault dependent repair rate
NHCTMC model: Metrics of interest
NHCTMC models with repair: Solution
Imperfect repair
NHCTMC model with imperfect repair
NHCTMC model with imperfect repair: Metrics