One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
This provides a standardized framework for reliability engineering, though it is incremental as it builds on existing semantics.
The paper tackled the problem of non-trivial and varied interpretations in Dynamic Fault Trees (DFTs) by presenting a Generalized Stochastic Petri Net (GSPN) semantics that unifies all existing DFT semantics, allowing different variants to be obtained through priorities and non-determinism choices.
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.