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 |
Description
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.