# One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

## TL;DR

This paper introduces a simple, compositional GSPN semantics for Dynamic Fault Trees that unifies all existing semantic variants, simplifying interpretation and analysis in reliability engineering.

## Contribution

It provides a unifying GSPN semantics for DFTs, enabling consistent interpretation across different existing semantics by adjusting priorities and non-determinism handling.

## Key findings

- Unifies all existing DFT semantics within a single GSPN framework
- Simplifies the interpretation of DFTs through compositional semantics
- Enables flexible semantic variants by parameter adjustments

## Abstract

Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper presents a GSPN semantics for DFTs. This semantics is rather simple and compositional. The key feature is that this GSPN semantics unifies all existing DFT semantics from the literature. All semantic variants can be obtained by choosing appropriate priorities and treatment of non-determinism.