One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
classification
💻 cs.SE
keywords
semanticsfaulttreesdftsdynamicgspnappropriatechoosing
pith:3HZRUXAI Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{3HZRUXAI}
Prints a linked pith:3HZRUXAI badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.