Italiano (Italian) English (Inglese)
Friday, 15 December 2017

Technical Reports

Technical Report Details
Authors:Daniele Codetta Raiteri
Scientific Area:Dependability and Reliability
Formal Models
Title:Development of a Dynamic Fault Tree Solver based on Coloured Petri Nets and graphically interfaced with DrawNET
Published on:TR-INF-2003-10-06-UNIPMN
Publisher:Computer Science Department, UPO
Year:2003
URL:http://www.di.unipmn.it...R-INF-2003-10-06-UNIPMN.pdf
Abstract:This report is about the realization of a tool to solve Dynamic Fault Trees (DFT), an extension of traditional Fault Trees (FT) that includes S-dependencies. The approach to solve DFT is presented in this report is based on two peculiar features; first, we adopt a parameterization technique, referred to as Parametric Fault Tree (PFT), to fold equal subtrees or components and resort them to a more compact representation; second, DPFT can be modularized and each module translated into a Coloured Petri net in the form of Stochastic Well-formed Net (SWN). The analysis of DPFTs may require the generation of a very large state space; parameterization, modularization and the conversion to SWN allow a remarkable reduction of the state space dimensions when redundancies and symmetries are present in the system.