Sep 17, 2013: Dennis Guck: Maintenance behaviour in Dynamic Fault Trees

September 17, 2013Maintenance behaviour in Dynamic Fault Trees
Room: HalB 2FDennis Guck

RAMS (Reliability, Availability, Maintenance, Safety) requirements are often imposed by Dutch law or other government regulations for safety-critical systems like railroad infrastructure and signaling systems. Fault tree analysis (FTA, for short) is a widely applied industry standard for RAMS analysis. In this talk, I will argue that equipping (dynamic) FTs with maintenance aspects yields a powerful framework that enables one to compare the effect of different maintenance strategies on the availability, reliability, cost, and recovery speed. This is achieved in a number of steps, where the key to determining these measures is the exploitation of stochastic model checking.