author: Tycho Braams
title: Modelling Degradation of Physical Objects in Fault Maintenance Trees
keywords: fault maintenance trees, reliability, Uppaal
topics: Case studies and Applications , Dependability, security and performance
committee: Enno Ruijters ,
Carlos Esteban Budde ,
Mariƫlle Stoelinga
started: November 2017
end: February 2018
type: Bachelorreferaat


Fault maintenance trees (FMTs) were developed to model degradation processes affecting physical systems, and the maintenance processes that control and/or undo this degradation. Current FMTs model such degradation in discrete steps, following a particular probability distribution.

In reality, degradation is often caused by physical processes, and do not have such discrete steps. For example, the tread on a car's tires decreases due to friction with the road, and very gradually drops until the tire fails.

This project aims to include such physics-based modelling in FMTs, and to analyze the resulting model using UPPAAL. As a case study, one of several existing case studies from the railway domain will be used.

Additional Resources

  1. Paper