Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.

Zum Inhaltsbereich Zur Hauptnavigation Zur Suche

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

Mittwoch, 05.09.2018, 10.15 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

Vortragender: Matthias Volk

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.
In this talk we present semantics for DFTs in terms of Generalized Stochastic Petri nets (GSPNs). 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 in the GSPN.