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

03/14/2018
by   Sebastian Junges, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

02/06/2022

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

Fault trees are a key model in reliability analysis. Classical static fa...
10/23/2019

A compositional semantics for Repairable Fault Trees with general distributions

Fault Tree Analysis (FTA) is a prominent technique in industrial and sci...
07/16/2020

MaxSAT Evaluation 2020 – Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees

This paper presents a MaxSAT benchmark focused on the identification of ...
07/23/2019

Proof of Compositionality of CFT Correctness

In the paper Compositionality of Component Fault Trees, we present a dis...
03/13/2019

Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

This paper considers the design-phase safety analysis of vehicle guidanc...
01/13/2022

The Combinatorics of Salva Veritate Principles

Various concepts of grammatical compositionality arise in many theories ...
05/05/2020

Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

In today's industrial practice, safety, reliability or availability arti...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.