Description

Fault tree analysis is a commonly used technique for modelling the failure behaviour of systems: A fault tree describes what failures can occur in a system, and how these failures can combine to cause the failure of the entire system. From these, we derive important measures of the system such as the probability of a system failure before a certain time, or the expected time until the first failure occurs.

One of the methods currently used to analyse fault trees is to convert them into UPPAAL models and use repeated simulations to estimate the measures of interest. Unfortunately, to get high accuracy many
simulations are requires which means spending a lot of time on the analysis.

The goal of this project is to examine alternative simulation techniques (such as the Modelica or Mobius tools) and see whether they can be used to speed up the analysis compared to UPPAAL-SMC.

References

1. Fault Trees (Digital version available here)
2. Conversion of fault trees to UPPAAL (Digital version available here)